> 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/error laws. That would be a

> 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/error laws. That would be a good place to start. Awesome! Would love logic and contradiction checking on the laws as a feature of such a language.