Paxos schematics