On the alternating use of “unanimity” and “surjectivity” in the Gibbard-Satterthwaite Theorem

Surjectivity and unanimity can be equivalently used to state the Gibbard-Satterthwaite Theorem. On the other hand, over restricted domains, replacing surjectivity with unanimity makes a stronger statement.