They do, effectively. They show what is necessary for quorums, and show that a large number of algorithms meet these requirements. Hence, the single leader ele

They do, effectively. They show what is necessary for quorums, and show that a large number of algorithms meet these requirements. Hence, the single leader election is not actually necessary (and this is one of their points - the existing algorithms require much stronger quorum guarantees than are actually necessary for correctness)