&gt; I mean, what would go a long way is manufacturing a programming language to write laws in, so we could lint and compile time warn&#x2F;error laws. That would be a good place to start.<p>Awesome! Would love logic and contradiction checking on the laws as a feature of such a language.