&gt; I&#x27;m interested in “low cognitive load without sacrificing technical precision.”<p>You don&#x27;t seem to be interested in low cognitive load at all, otherwise:<p>&gt; No disagreement here. I even stated my personal choice of C.<p>you would have attempted to motivated your choice of reference point in terms of cognitive load. Even if induction mathematics was the way the human mind worked (which it isn&#x27;t) it&#x27;s very different from CPUs and there is a cognitive load (and semantical distance) in going from mathematics to CPUs.