Not so simple…
VS: If s1 and s2 move directly from membership M1 to M2, then they deliver the same ordered set of messages in M1.
- What about s3 that was part of M1but is not part of M2?
Total (Agreed) Order with no holes is not guaranteed across partitions or server crashes/recoveries!