9.Paxos-2023.pdf