paxos proc