Right! So 'legalese' could be generated from simpler diagrams which make edge cases much more evident. I've always thought that statements of law are a centuri

Right! So 'legalese' could be generated from simpler diagrams which make edge cases much more evident. I've always thought that statements of law are a centuries-long struggle to get to a level of expression that we achieve in computer programs. We also have unit testing and versioning, plus a lot of other relevant processes.