11.1 Leader-based Sequence Paxos