 Roemer uses formal models—general competitive equilibrium and game theory—to demonstrate some surprising payoffs for socialist design once this model of cooperation is integrated into it. Not least, he demonstrates that, under some fairly uncontroversial assumptions, market socialist economies can rectify the unequal income distribution of capitalism without paying a price in efficiency or market failures (Roemer 2019a: 206–207, and Veneziani 2021). In short, given Kantian optimisation, certain familiar problems in socialist design may be less serious than were once thought (Roemer 2015: 107).