Extremely cool! Have been thinking about how to go about this. It feels like a perfect test bed for automated reasoning. The high level description in the intro

Extremely cool! Have been thinking about how to go about this. It feels like a perfect test bed for automated reasoning. The high level description in the intro is very clear and makes a lot of sense.