A social choice correspondence (SCC) is virtually implementable if it is [var epsilon]-close (in the probability simplex) to some (exactly) implementable correspondence [Abreu, D., Sen, A., 1991. Virtual Implementation in Nash Equilibrium. Econometrica 59, 997-1021] proved that, without...