In a Diamond and Dybvig (1983) environment, Green and Lin (2003) take a mechanism design approach and show that a bank run equilibrium cannot exist. Peck and Shell (2003) generalize their economic environment and show that it can. The bank run, however, does not emerge because of modifications to the economic environment but rather because the mechanism that implements allocations is not an opt...