invariant

invariant