[Insert Axioms of Social Choice]