the minor premise is necessary; the conclusion however, when the terms are affirmative, will be contingent, and not simple, whether they are universal or not universal. Nevertheless, if one proposition be affirmative, and the other negative, when the affirmative is necessary, the conclusion will in like manner signify the being contingent, and not the not-existing or being present with; and when the negative is necessary, the conclusion will be of the contingent non-inesse, and of the simple non-inesse, whether the terms are universal or not. The contingent also in the conclusion, is to be assumed in the same way as in the former syllogisms, but there will not be a syllogism wherein the non-inesse will be necessarily inferred, for it is one thing "inesse" not necessarily, and another "non-inesse" necessarily. Wherefore, it is evident that when the terms are affirmative, there will not be a necessary conclusion. For let A necessarily be present with every B, but let B be contingent to every C, there will then be an incomplete syllogism, whence it may be inferred that A happens to be present with every C; but that it is incomplete, is evident from de-
