wiki/structural/calculus-as-thinking.md history