imo, let's put large comments on both

invalidate

and

complete

about the invariant, and leave it as is in the PR