leads to the invariant