Two-alternative majority rule

With an odd number of agents and two alternatives, select the alternative ranked first by a strict majority. The rule is onto, strategyproof, and for at least three agents has no dictator in social choice. A pivotal agent already gets its preferred alternative by reporting truthfully; a nonpivotal agent cannot change the outcome alone.