The formal leadership contest will begin on Monday. How long to do the voting? They'll have to move fast.
They'll want a new leader by the end of June
Okay, a general election in early October. And that's when the Tories finally put a second referendum in their manifesto.
And you get another five years of Tory government.