Stuart_Armstrong comments on No independence of irrelevant alternatives (picture proof)

[Stuart_Armstrong]

In a way.

But as I said, you don’t actually need symmetry to break IIA (non-dictatorship should be enough); it’s just that there is an easy picture proof for symmetry.