invariants changed