Remove/replace comments that restate code; convert every surviving comment into

either (a) a rationale (constraint, tradeoff, external bug link, invariant) or (b) a unit test that encodes the rule.