Small invariants in Rewrite code.