 As the wording itself suggests, the second and third conditions admit a natural reading in terms of dependence and independence: in fact, as shown in Pacuit &amp; Yang 2016, Arrow’s theorem can be formalized in independence logic and proved in a suitable natural deduction system.