~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Correction.  The second paragraph should read as follows.
I had this correct, though ambiguous, in my old version,
but in trying to insert a clarifying remark, I inserted
a confounding one instead.  ~~ J.A.

| Amazingly enough, these isomorphisms are themselves schematized by the
| axioms and theorems of propositional logic.  This fact is known as the
| &quot;propositions as types analogy&quot; (PATA) [How].  In another formulation
| it says that terms are to t