removed trivial invariants