Simple Paxos Implementation