11.8 The final Sequence Paxos Algorithm