[update] Invariant to use !