ol, in the way that "and" is used above,
&gt; to denote a series of operations 'And&lt;j&gt;', for j = 1, 2, 3, ...,
&gt; tantamount to an indefinite degree of equivocation, constitutes
&gt; what is commonly known as a "multigrade operator".  They can be
&gt; very convenient bits of syntactic sugar, but they do not alter
&gt; the underlying logical complexity of the operations invoked.
&gt; 
&gt; This is, of course, aside from the fact that the relation "giving"
&gt; is at least as complex as a 3-adic relat