usefully be transferred to the smaller Diagram?
Let us take its four compartments, one by one.
As to No. 5? This, we see, is wholly 'empty'. (So mark it with a grey counter.)
As to No. 6? This, we see, is 'occupied'. (So mark it with a red counter.)
As to No. 7? Ditto, ditto.
As to No. 8? No information.
The smaller Diagram is now pretty liberally marked:--
------- | 0 | 1 | |---|---| | 1 | | -------
And now what Conclusion can we read off from this? Well, it is impossible to pack such abundant information into ONE Proposition: we shall have to