[phicou]

And math, real math, is not about the mindless execution of predefined algorithms such as linear algebra. It is about understanding those algorithms, using higher-order logic to understand what is universally true, conditionally true, and so forth.