Independence of Irrelevant Alternatives