changed invariant