TAG: add don’t subtract rule