&gt; When you begin to formalize human language in such a way that it becomes unambiguous, you effectively just create a new programming language.<p>Exactly. This is why professional jargon (a) exists. Pick a noun in computers and programming. It has another meaning in another context.<p>This is why contracts are written in &quot;legal English&quot; (b) and not in normal English.<p>a) <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Jargon#Examples" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Jargon#Examples</a><p>b) <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Legal_English" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Legal_English</a>