 Theorem: Under ONC (or CNC, as Sen 1970b has shown), if \(|X| \gt 2\), there exists no SWFL satisfying universal domain, ordering, the weak Pareto principle, independence of irrelevant alternatives, and non-dictatorship.