[paulddraper]

Laws aren't code because they are written in English (or other similarly ambiguous languages).

Select parts of laws may have the rigor of a programming language, but the greater portion expresses things for humans, with human ambiguity.