In reality the coordinator may fail. Paxos does not require that only one replica act as coordinator at a
time. Multiple replicas may decide to become coordinators and execute the algorithm at any time. Typically
the system is engineered to limit coordinator turnover, as it can delay reaching consensus.