paxos: it works now