implemented the tests for paxos