add new invariants