Boris Johnson out. Final PMQs. Penny Mordaunt out. And then there were two in the leadership race.