Finishing up Paxos API in Specification