&gt; Complexity is <i>not</i> about additivity, it&#x27;s about entanglement.<p>This. And nothing reflects entanglement better than a formal semantics. English (or any other natural language) always lets you sweep it under the rug. The only objective measure of simplicity is the size of a formal semantics.<p>I expand on this here: <a href="https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;programming&#x2F;comments&#x2F;3sstis&#x2F;for_better_or_for_worse&#x2F;cx0cp0q" rel="nofollow">https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;programming&#x2F;comments&#x2F;3sstis&#x2F;for_bet...</a>