Working basic paxos