If Greece leaves the euro ...