#invariant