This is an instance of the "Maximally Powerful, Minimally Useful" principle from a few days ago [0]. Because the language being described is sufficiently minima

This is an instance of the "Maximally Powerful, Minimally Useful" principle from a few days ago [0]. Because the language being described is sufficiently minimal it has multiple valid, meaningful interpretations including the direct "just execute it" interpretation, a theoretical "compile this to some kind of other language and interpret it there", and, most interestingly, interpret these relations as a linear algebra problem. It should be quite clear that a more "powerful" language would not admit this last meaning/interpretation/denotation. [0] http://blog.higher-order.com/blog/2014/12/21/maximally-powerful/ http://blog.higher-order.com/blog/2014/12/21/maximally-power...