Plain Paxos Implementation