Tory leadership: Did Boris Johnson have the numbers?