I’ve always took it to mean the search space of the function needs to narrow to approach the base case so that it can terminate. In factorial this means subtra

I’ve always took it to mean the search space of the function needs to narrow to approach the base case so that it can terminate. In factorial this means subtracting 1, in tree searches it means picking one of the children, in parsing it means selecting a production that narrows the matches, etc.