In demonstrations, when there is a need to deduce that something belongs, the middle term through which the deduction is formed must always be inferior to and not comprehend the first of the extremes.