Good observation. There is a continuum in legal language between expressive power in the natural language and the legal formal language. "Absolute immutable contracts" are however very desirable in many cases where people interact with or through machines. Consider that modern computers, in terms of the hardware are extremely deterministic on a macro level, but a lot of the software is fuzzy (UI).