Added the invariant