Hey, isn&#x27;t that it? Some people can just spend all their time in abstracting thinking land, manipulating formulas without concrete examples providing any context, because they have some amazing super power that many of us (maybe most?) don&#x27;t have.<p>Others need context. We need to see concrete examples of the problem, play around with them, explore them, until our brains can &quot;get&quot; a generalization.<p>And in the end, maybe we all benefit from concrete context? When you are manipulating formulas, do you impose a concrete example in your head to guide that manipulation? Wouldn&#x27;t it be great to get that out onto the computer somehow?