finished Paxos - without comprehensive testing