 The extent to which (ST) is present in the Prior Analytics is also a moot point (Thom 2010) (Dutilh Novaes 2021). Aristotle does not apply the concepts of form and matter anywhere in his logical writings, but his consistent use of schematic letters and many of his argumentative strategies in this work suggest that he relies on something resembling what we now refer to as the ‘logical form’ of arguments. What is not clear is whether Aristotle relies on (ST) merely as a convenient technical device to capture the more fundamental property of necessary truth-preservation, or whether for him (TP) and (ST) are independent core components of the concept of a syllogism/deduction (or perhaps even that (TP) is to be reduced to (ST)).