Single paxos handout