Instead, recheck: perhaps the recurrence allows exact subtraction. But due to complexity, we evaluate: