Everything looks "obvious" or "not really that important" when you're looking UP the power curve. I am not a programmer, I solve problems using symbolic repres

Everything looks "obvious" or "not really that important" when you're looking UP the power curve. I am not a programmer, I solve problems using symbolic representations. Anything that lets me reason about solving this problems at a higher level is a net gain for me. I've been wishing for something like this for the last 13 years. This is fantastic in my mind, I want people to run like hell with it.