It seems like there are no cases when one can conclude that a memory_order_seq_cst operation A precedes another one B in their single total order and yet neither A happens before B, nor B happens before A.
Thus, because of that and N4700 [atomics.order] 32.3\ 3, I assert that relations "happens-before" and "precedes in a single total order" are equivalent. So all these rules: 32.3\ 3, 4, 5, 6, 7 are redundant. They are already covered by coherence rules in [intro.races] 6.8.2.1\ 14, 15, 16, 17 and fence rules in [atomics.fences] 32.9\ 2, 3, 4.
memory_order_seq_cst– Caleth Nov 20 '17 at 14:39memory_order_seq_cstis the strongest ordered memory ordering. Most of the text will be handling corner cases for the more relaxed memory orderings. – Yakk - Adam Nevraumont Nov 20 '17 at 14:40