They should default. A few years later the investors will be back the same as before.