Basic working Paxos