10.5 Sequence Paxos Correctness