https://www.nxcoding.com/archives/mit-6.824-paxos-made-simple-study-notes