paxos implementation complete