The first full characterization of social choice correspondences that are implementable in Nash equilibrium, given in Moore and Repullo (1990), together with the working principle behind an algorithm to check this condition, given in Sjostrom (1991), can be used to give a simple necessary and sufficient condition for implementation that is a generalization of monotonicity. (C) 2010 Elsevier B.V. All rights reserved.