Greece has to stay in the euro.