Added invariant