---------|
| x | North Half. |
| x' | South " |
| y | West " |
| y' | East " |
| m | Inner Square. |
| m' | Outer Border. |
|----------|------------------------------------|
| xy | North-West Quarter. |
| xy' | " East " |
| x'y | South-West " |
| x'y' | " East " |
| xm | North Half, Inner Portion. |
| xm' | " " Outer " |
| x'm | South " Inner " |
| x'm' | " " Outer " |
| ym | West " Inner " |
| ym' | " " Outer " |
| y'm | East " Inner " |
| y'm' | " " Outer " |
|----------|------------------------------------|
| xym | North-West Quarter, Inner Portion. |
| xym' | " " " Outer " |
| xy'm | " East " Inner " |
| xy'm' | " " " Outer " |
| x'ym | South-West " Inner " |
| x'ym' | " " " Outer " |
| x'y'm | " East " Inner " |
| x'y'm' | " " " Outer " |
.-----------------------------------------------.

pg043

CHAPTER II.

_REPRESENTATION OF PROPOSITIONS IN TERMS OF x AND m, OR OF y AND m._

Sec. 1.

_Representation of Propositions of Existence in terms of x and m, or of
y and m._

Let us take, first, the Proposition "Some xm exist".

[Note that the _full_ meaning of this Proposition is (as
explained at p. 12) "Some existing Things are xm-Things".]

This tells us that there is at least _one_ Thing in the Inner portion of
the North Half; that is, that this Compartment is _occupied_. And this
we can evidently represent by placing a _Red_ Counter on the partition
which divides it.

.---------------.
| | |
| .---|---. |
| | (.) | |
|---|---|---|---|
| | | | |
| .---|---. |
| | |
.---------------.