A social choice correspondence (SCC) is virtually implementable if it is E-close (in the probability simplex) to some (exactly) implementable correspondence. Abreu and Sen (1991) proved that, without restriction on the set of alternatives receiving strictly positive probability at equilibrium,...