[remove] An unnecessary invariant