The Bonini’s paradox makes perfect sense, but I don’t think it applies to this case because the law is not trying to model anything, it stands on its own. It’s

The Bonini’s paradox makes perfect sense, but I don’t think it applies to this case because the law is not trying to model anything, it stands on its own. It’s the same difference as trying to model the law and predict what is and what isn’t lawful based on some circumstances vs declaring that the model IS the law and it determines what’s legal or not. Let’s take the tax code as an example. I’d argue that it already is a form of a program (maybe that’s why they call it code), but instead of something that I can run on my computer and explore and play with inputs to achieve a more beneficial result for myself, I have to instead pay a tax professional to do it. I think having the tax code executable would actually make it more accessible to people that are governed by it, not the other way around.