“Arrow's theorem shows that with more than two alternatives no social welfare function satisfies unrestricted domain, social ordering, weak Pareto, independence of irrelevant alternatives and non-dictatorship together.”