I think the coprocessor thing, that code is law and law is code, is one of those easy to understand but hard to legislate ideas. The most success I’ve seen is all about almost like contract law, but also, there’s a part of the criminal code, like unsafe driving, that are very mechanical in nature. You can build a good dual of it in its digital twin.