paxos seems to work