| | | | | | | | | |
| --|-- | | --|-- |
| | | |0 | |
----------- -----------



and that these two, when combined, give us


-----------
|0 | |
| --|-- |
| |0 | 0| |
|--|--|--|--|
| | | | |
| --|-- |
|0 | |
-----------


We have now to mark the two positive portions, "some x are m'"
and "some y are m".

The only two compartments, available for Things which are xm', are
No. 9 and No. 10. Of these, No. 9 is already marked as 'empty';
so our red counter must go into No. 10.

Similarly, the only two, available for ym, are No. 11 and No. 13.
Of these, No. 11 is already marked as 'empty'; so our red counter