The paper contains a unified development of Arrow's impossibility theorem for rational group decisions, Gibbard and Satterthwaite's impossibility theorem for strategy-proof group decisions, and the close reciprocal relationship that exists between these two theorems.