 In the highest type of demonstration, the potissima demonstratio, the middle term is a causal definition (NLP II.3, 343.12–14; DOS 527; LPA prologue) and the definition of the predicate (NSLP 6, 29; DOS 563). The middle term allows for the demonstration of the predicate to belong per se et propter quid to the subject (NLP I.20, 117). The paradigmatic demonstration is a syllogism of the first figure in the first mood, that is with two universal premises because the relation of necessity between premises and conclusion is more evident (see Thom 2013, 144-47).