Gibbard and Satterthwaite have shown that the only single-valued social choice functions (SCFs) that satisfy nonimposition (i.e., the function's range coincides with its codomain) and strategyproofness (i.e., voters are never better off by misrepresenting their preferences) are dictatorships. In...