The Stanley Reiter diagram above illustrates a game of mechanism design. The upper-left space depicts the type space and the upper-right space X the space of outcomes. The social choice function maps a type profile to an outcome. In games of mechanism design, agents send messages in a game environment . The equilibrium in the game can be designed to implement some social choice function .