David Stokes writes: <begin extract> (My point was actually that you can't put A(), V(), F' ' etc. into an expression, they are not self-defining terms, like C' ', B' ', X' '.) </end extract>
and F' ' seems to me to be an even odder bedfellow for A( ) and V( ) than A( ) and V( ) are for each other here. The argument that V-type adcons are not self-defining at assembly time is compelling; for the rest . . . John Gilmore, Ashland, MA 01721 - USA
