This guy/girl nailed it. It took me a while to realize the distinction really exist in the method constraints imposed on the process of reasoning within each of these paradigms. I found it helpful to think of it as two different computational models. That although often agreeing on their outcome, the process of arriving at an answer differs quite significantly.