aimed to yield its canonical or its &quot;normal&quot; form.
Finer distinctions can be weighed, of course, and there
is always the problem of just how, exactly, and, indeed,
even whether such forms will be forthcoming from a given
cut of syntax for a given objective domain, or any other
wide open space.  But the notion of a &quot;normal form&quot; is
cast in the right direction, and so it'll do for now.

By way of example, let's examine the subtype of cactoid expression
that is typified by q_97 and its comp