part of paxos