Indeed. The only objectively valid measure of a programming language&#x27;s simplicity is the size of its formal semantics, with a large penalty for any behavior left undefined. Mathematics, unlike English, doesn&#x27;t let you sweep details under the rug.