I agree I wouldn't a priori exclude reasoning as being a form of search, I was just addressing the question of reduction providing clarity. I do think people ar

I agree I wouldn't a priori exclude reasoning as being a form of search, I was just addressing the question of reduction providing clarity. I do think people are far too dismissive of classifying something as reasoning simply because the latter is vague where the reduction is generally something understood.