what to do in paxos