w&lt;j&gt; is s
     |   and the-z-position-in L&lt;i&gt;-row&lt;j&gt; is t.

     Here, the hyphenated phrases:

     |   the-x-position-in,
     |   the-y-position-in,
     |   the-x-position-in,

     can be read as the names of three 2-adic relations,
     in particular, functions, that can be written just
     a little more concisely and conventionally in this
     rather more standard -- standard to many -- manner:

     |   Proj&lt;k&gt; : T x U -&gt; B, for k = 1, 2, 3,

     respectively.  Here, ra