Most of the Paxos logic complete, but no testing