And now what kind of Cakes would you expect to find in compartment
No. 5?

It is part of the upper half, you see; so that, if it has any Cakes
in it, they must be NEW: and it is part of the left-hand half;
so that they must be NICE. Hence if there are any Cakes in this
compartment, they must have the double 'ATTRIBUTE' "new and nice":
or, if we use letters, the must be "x y."

Observe that the letters x, y are written on two of the edges of
this compartment. This you will find a very convenient rule for
knowing what Attributes belong to the Things in any compartment.
Take No. 7, for instance. If there are any Cakes there, they must
be "x' y", that is, they must be "not-new and nice."

Now let us make another agreement--that a red counter in a
compartment shall mean that it is 'OCCUPIED', that is, that there
are SOME Cakes in it. (The word 'some,' in Logic, means 'one or
more' so that a single Cake in a compartment would be quite enough
reason for saying "there are SOME Cakes here"). Also let us agree
that a grey counter in a compartment shall mean that it is 'EMPTY',
that is that there are NO Cakes in it. In the following Diagrams,
I shall put '1' (meaning 'one or more') where you are to put a RED
counter, and '0' (meaning 'none') where you are to put a GREY one.

As the Subject of our Proposition is to be "new Cakes", we are only
concerned, at present, with the UPPER half of the cupboard, where
all the Cakes have the attribute x, that is, "new."

Now, fixing our attention on this upper half, suppose we found it