Single-shot Paxos : finished

Because we can.