The authors investigate the implementation of social choice functions that map to lotteries over alternatives. They require virtual implementation in iteratively undominated strategies. Under very weak domain restrictions, they show that if there are three or more players, any social choice...