Game forms for Nash implementation of general social choice correspondences · Study