Added invariants