Note 422 — Chapter VIII
Reading edition
If, however, we are to be allowed to proceed as in section 206 (where from all P is M, all S is M, we inferred some not-S is not-P) we must posit the existence not merely of the terms directly involved, but also of their contradictories.