When can a comma cost you $2 million?
chaosscenario.com
chaosscenario.com
The law sometimes gives a contracting party a way out by allowing you to admit evidence in a dispute over what the parties truly intended if the language reads ambiguously, assuming the language is merely ambiguous and not plainly and incontrovertibly against you. But, trying to salvage a contract in this way is like playing out a desperate last act because, by the time you reach that stage, you will already have a losing situation on your hands. Even if you win such a dispute, by the time it reaches litigation, you likely will have already lost economically on the deal in most cases.
The lesson here is not necessarily, "always use a lawyer" (though you should if you have a lot at stake in a particular contract) but rather, "read your contracts carefully and literally before signing." A good lawyer will do this, as will a seasoned executive or contracts manager (or founder, for that matter) who is experienced in dealing with contractual issues or who otherwise has a knack for this sort of this (some founders do have such a knack, most don't). Never simply assume that the language is what it appears to be at first glance.
There is no doubt that diagrams can be used in contracts and frequently are. Though a diagram would not stand alone, it would constitute strong or even conclusive evidence of the meaning of the prose part of a written contract (or the meaning of words exchanged by parties in the case of a verbal contract).
Bottom line: a meeting of the minds always has reference to some context and all of that context can be relevant to determining meaning - if a diagram helps show the context in which parties are agreeing to something, it can and should be used to add clarity to a contract.
I wonder how that would work in court?
I suspect getting it to fly would be the biggest challenge, though, since our legal system is very much bound up in tradition and precedents.
Maybe if Lessig got together with a few linguists and information architects...
(define ([Person]X is-thief of: [Property]P belonging-to: [Person]Y)
(and
(X appropriates P)
(X != Y)
(X intends
((Time>now) implies not (Y has P)))
(dishonestly)))
(define dishonestly
"this is purposely left undefined in the law")
(define ([Person]X appropriates [Property]P)
"X does some action causing him to have control over P")
There could then be a compiler and other software to automatically reason about such statements.Too bad about that Gödel guy, though.