Performance improvement: directly implement rule #8 (not via reduction).