Removes invariant