This flexible election policy means there may be multiple replicas who simultaneously believe they are
the coordinator. Further, these coordinators may select different values. Paxos ensures consensus can be
reached on a single value (it can be from any coordinator) by introducing two extra mechanisms: 1) assigning
an ordering to the successive coordinators; and 2) restricting each coordinator’s choice in selecting a value.