Remove commented-out invariant.