The meaning of Independence of Irrelevant Alternatives is not easily grasped, and its ramifications are not immediately obvious. It is therefore surprising to see just how little has been said, over the many decades that have passed since Arrow published his famous theorem, to justify imposing this condition on social welfare functions. Let us turn, now, to some arguments for and against.