§ 297. If this were so, it is plain that the number of possible propositions would be exactly doubled, and that, instead of four forms, we should now have to recognise eight, which may be expressed as follows-- 1. All A is all B. ([upsilon]). 2. All A is some B. ([Lambda]). 3. No A is any B. ([Epsilon]). 4. No A is some B. ([eta]). 5. Some A is all B. ([Upsilon]). 6. Some A is some B. ([Iota]). 7. Some A is not any B. ([Omega]). 8. Some A is not some B. ([omega]). § 298. It is evident that it is the second of the above propositions which represents the original A, in accordance with the rule that 'No affirmative propositions distribute their predicate' (§ 293). § 299. The third represents the original E, in accordance with the rule that 'All negative propositions distribute their predicate.' § 300. The sixth represents the original I, in accordance with the rule that 'No affirmative propositions distribute their predicate.' § 301. The seventh represents the original O, in accordance with the rule that 'All negative propositions distribute their predicate.' § 302. Four new symbols are required, if the quantity of the predicate as well as that of the subject be taken into account in the classification of propositions. These have been supplied, somewhat fancifully, as follows-- § 303. The first, 'All A is all B,' which distributes both subject and predicate, has been called [upsilon], to mark its extreme universality. § 304. The fourth, 'No A is some B,' is contained in E, and has therefore been denoted by the symbol [eta], to show its connection with E. § 305. The fifth, 'Some A is all B,' is the exact converse of the second, 'All A is some B,' and has therefore been denoted by the symbol [Upsilon], which resembles an inverted A. § 306. The eighth is contained in O, as part in whole, and has therefore had assigned to it the symbol [omega],