@tiggity
Indeed they were. The hatchet job on Dear Old Boris must rate as one of the most vicious in history.
There was then a series of votes, eliminating the candidate with fewest votes until there were two. Even I find it hard to remember the unsuccessful names; but some will have been staking out a claim to a place in a future contest.
May versus Leadsom as the finalists; then Leadsom withdrew.