Passing the first couple of test cases for Paxos.
Adding some notes that I forgot.