Kazuya Yamamoto. "A full formal representation of Arrow’s impossibility theorem." PLoS ONE, 2026. doi:10.1371/journal.pone.0343069