Programming and legal are exactly alike: they try to make a precise and unambiguous set of rules and procedures with words. They try to translate language into reality. The difference is that the language of programming has to abide by physics and logic, while the logic of legal has to abide by the flaws of language.