That’s the plan currently. A 50% haircut would be a default according to the rating agencies. And that’s already an optimistic figure. Now people are talking about a 70%-80% reduction. The other option is to leave the EU and print money (defaulting the old-fashioned way, but perhaps not technically). Basically, there’s no way for Greece to stay in the EU and not default.