Except, of course, that legal documents are not nearly as precise as programming languages. And most legal documents have a lot of dead code--nobody really knows or cares if that code path is followed anymore. You don't want to be the guy removing sections from a legal document.