As Michael Gove finished speaking, the bookmakers have reported that Andrea Leadsom has overtaken the Justice Secretary when it comes to betting on who will be the next Tory leader. Theresa May remains the favourite at 1/3, with Leadsom at 7/2 and Gove at 12/1.

Now of course the bookies are not clairvoyants and can get elections—and referendums—very wrong indeed. But these odds reflect the mood in the Tory party, which is currently registering a sense of disbelief that Michael Gove could do something like this. Many senior figures believe that the way he has turned on Boris Johnson is beyond the pale, and are preparing to back Andrea Leadsom, while I understand that a group of former Boris backers are considering declaring their support as a block for Leadsom on Monday too.

Leadsom had a good referendum campaign, performing well for the Leave side. Her key disadvantage is that she has never held a Cabinet role – though this is not down to lack of ability so much as it is down to George Osborne’s personal dislike of her following criticisms she made of the Chancellor in 2012. He bears grudges, and exacts revenge by slowing down the careers of people who have angered him. Leadsom took much longer to make it into government than she should have done. But this disadvantage may be a little easier to shrug off now Gove has such a trust problem with his own party.