 Theorem (Gibbard 1969): If \(|X| \gt 2\), there exists no preference aggregation rule satisfying universal domain, quasi-transitivity and completeness of social preferences, the weak Pareto principle, independence of irrelevant alternatives, and non-oligarchy.