We prove that a social choice function is repeatedly implementable if and only if it is dynamically monotonic when the number of agents is at least three. We show how to test dynamic monotonicity by building an associated repeated game. It follows that a weaker version of Maskin monotonicity is...