7. Paxos.pdf