Comment by tossandthrow

As long as these are not accidental invariants.