-------------------
| | |
| _____|_____ |
| | | | |
| | -1- | |
| | | | |
-------------------
Now let us express "all x are m."
This consists, we know, of TWO Propositions,
"Some x are m,"
and "No x are m'."
Let us express the negative part first. This tells us that none of the Cakes, belonging to the upper half of the cupboard, are to be found OUTSIDE the central Square: that is, the two compartments, No. 9 and No. 10, are EMPTY. This, of course, is represented by
-------------------
| 0 | 0 |
| _____|_____ |
| | | | |
| | | | |
| | | | |
-------------------
But we have yet to represent "Some x are m." This tells us that there are SOME Cakes in the oblong consisting of No. 11 and No. 12: so we place our red counter, as in the previous example, on the division-line between No. 11 and No. 12, and the result is