-------------------
| | | | |
| | | 0 | |
| | | | |
| -----|----- |
| 1 | 0 |
-------------------


we should transfer it to the smaller Diagram thus,


-----------
| | |
| 1 | 0 |
| | |
-----------


and read it "all x' are y."

Two more remarks about Propositions need to be made.

One is that, in every Proposition beginning with "some" or "all",
the ACTUAL EXISTENCE of the 'Subject' is asserted. If, for instance,
I say "all misers are selfish," I mean that misers ACTUALLY EXIST.
If I wished to avoid making this assertion, and merely to state
the LAW that miserliness necessarily involves selfishness, I should
say "no misers are unselfish" which does not assert that any misers