https://ericconlon.com/index.html https://ericconlon.com/blog/index.html https://ericconlon.com/blog/logic-commute/index.html 2022-11-19 https://ericconlon.com/blog/backtrack-state/index.html 2022-11-05