Lawyer here. Much like "Smart Contracts" (presently the worst named thing for anything these days), this is that thing where a tech person believes that lawyer

Lawyer here. Much like "Smart Contracts" (presently the worst named thing for anything these days), this is that thing where a tech person believes that lawyer problems are like tech problems and they're just not. Real life lawyer contracts just aren't very much like "code," at all. Code does exactly what the text says, "perfectly," every time. Therefore, it's important to be succinct and "correct." Contracts, at best, are the best approximation of what two human beings are agreeing to at any given time -- and here's the important part -- infrequently "do" anything AT ALL; they just kind of shore up what the two people were planning to do anyway. Contracts are more like a best-guess list of all possible errors and what to do about them when they come up.