A defense of Arrow’s independence of irrelevant alternatives