fill out more paxos operations