Paxos implementation complete