Lec11_Paxos.pdf