ypes as proofs are to propositions.  This
| principle seems to have more implications for our subject than I can
| fully comprehend at present, though I sense that they must be crucial.
| (Cf. [LaS, 42-46] and [SeH] for discussion and further references.)
| To anticipate the bearing of these issues on our immediate topic,
| Table 3 gives a partial overview of the Real to Boolean analogy
| that may serve to illustrate the paradigm that I have in mind.

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

</P