Consider the problem of exact Nash implementation of social choice correspondences. Define a mechanism in which the planner can randomize on alternatives out of equilibrium while pure alternatives are always chosen in equilibrium. We call such a game form a lottery mechanism. When preferences...