why this assert can't fail under memory_order_relaxed

Question

Without any happens-before edges, no thread can count on a specific ordering from another thread. This can obviously lead to some unexpected results if one isn\