Every deduction is through three terms; and the one type is capable of proving that A belongs to because it belongs to and that to, while the other is negative, having one proposition to the effect that one thing belongs to another and the other to the effect that something does not belong.