If laws were codified in a machine-friendly format, automatic code analysis could alert lawmakers and the public to ambiguity, conflicts, redundancy, unused cod

If laws were codified in a machine-friendly format, automatic code analysis could alert lawmakers and the public to ambiguity, conflicts, redundancy, unused code, opportunities for optimization and verbosity.