gine that one picks out a finite collection of one's
| favorite propositions for describing an object domain X.
| The propositions are optimally chosen to be "independent"
| of each other, that is, "orthogonal" in a logical sense,
| and are commonly dubbed as one's "basic propositions" or
| singled out by referring to them as "coordinate projections"
| of the form x&lt;j&gt; : X -&gt; B, for j = 1 to k.  I usually picture
| these as the k "circles" of a venn diagram for the universe X.
| If a given system o