Paxos Implementation