paxos translation