Question: the article does not directly mention the "independence of irrelevant alternatives" (IoIA) concept: https://en.wikipedia.org/wiki/Independence_of_irre

Question: the article does not directly mention the "independence of irrelevant alternatives" (IoIA) concept: https://en.wikipedia.org/wiki/Independence_of_irrelevant_alternatives https://en.wikipedia.org/wiki/Independence_of_irrelevant_alt... I wonder if the author's assumptions imply IoIA. I am inclined to think so, but have not proved it.