JUST when it looked like Westminster was settling into a long summer of party-leadership elections, Andrea Leadsom this morning cut the Conservative contest short by withdrawing from the race to succeed David Cameron. That leaves just Theresa May. In a statement given shortly afterwards Graham Brady, chairman of the 1922 committee of Tory MPs, announced that—pending a final confirmation from the party’s board—the home secretary will thus be installed as leader of the party. She is expected to take over from Mr Cameron soon, possibly before the end of the week. Sources close to the prime minister have confirmed that he does not intend to hold up proceedings.