Leave the euro? Surely yes.