Suppose that g is a strategy-proof social choice rule on the domain of all profiles of complete and transitive binary relations that have exactly m indifference classes. If $m \ge 3$ and the range of g has three or more members, then g is dictatorial. If m = 2, then for any set X of feasible...