Morgan. Good to hear from you. 😉 Your idea is interesting. Effectively a constr

Morgan. Good to hear from you. 😉 Your idea is interesting. Effectively a constraint subset,. Though I am not sure what you want to accomplish with it. If I did I might understand. A simulator of american enlightenment pre-industrial revolution thought?

In technical terms, Levi is correct, you cannot produce closure by such means. I can’t determine if that’s your objective, or illustrative comparison is your objective. As long as its illustrative and explanatory I think it can work.

We just build everything from the science. Less accessible, more technical, cognitively burdensome, but we produce not just constraint but closure (proof).

I would love to see your idea implemented.