We consider the problem of selecting alternatives from a set of feasible alternatives over which each agent is endowed with a strict preference. We show that there is one and only one rule that satisfies anonymity, neutrality, efficiency, tops-only, and r
