Note 512 — Chapter V
Reading edition
We might also proceed as follows: Solve for X and for x, as in section 488, so that we have All X is A, All x is B, where A and B are simple or complex terms not involving either X or x. Then, since Everything is X or x, we shall have Everything is A or B, and this will be a proposition containing neither X nor x.