> For them, implicit nothrow enforcement for invariant may be unacceptable behavior.

I'm not going to enforce nothrow invariants, because all `Exception`s get caught. You do so.