>>Grogna+(OP)
> The aim is not to formalise or put into code all the law, because that would make no sense, but we are interested in the law that is already executed automatically, such as the calculation of social benefits, tax or unemployment.
Can anyone explain why it's believed this "would make no sense"?