@wingo@moonchild@pkhuong There are plenty of cases with mo_relaxed which are easy to think about but in the general case it's definitely nebulous. I assume you've seen all the out-of-thin-air (OOTA) stuff with mo_relaxed... Apparently mo_relaxed, as it stands, didn't formalize what the designers thought it formalized. It's kind of like the Peano axioms and the standard model of natural numbers vs non-standard models.