compartments, No. 11 and No. 12, are EMPTY. And this, of course, is represented by
-------------------
| | |
| _____|_____ |
| | | | |
| | 0 | 0 | |
| | | | |
-------------------
And now how are we to represent the contradictory Proposition "SOME x are m"? This is a difficulty I have already considered. I think the best way is to place a red counter ON THE DIVISION-LINE between No. 11 and No. 12, and to understand this to mean that ONE of the two compartments is 'occupied,' but that we do not at present know WHICH. This I shall represent thus:--