Axioms for approval voting: Direct proof · Study