Default and Punishment in General Equilibrium1 · Study