Comment by Xcelerate

> You mean "legalese"?

No, more so something that could be verified using an interactive theorem prover; e.g., Coq (https://en.wikipedia.org/wiki/Coq).

All lawsuits would then consist of running a computer program against the legal "code".