Nash Equilibrium and Mechanism Design