 Commitment to sentence-tokens aside, Buridan’s notion of consequence clearly has necessary truth-preservation (TP) as its fundamental component. So for him, enthymematic consequences such as ‘a man runs, therefore an animal runs’ are just as valid as syllogistic consequences or other consequences satisfying the criterion of preservation of validity under term substitution (ST). However, Buridan does recognize that there is an important distinction between consequences which do and those which do not satisfy the substitutional criterion; giving continuation to a tradition which includes Alexander of Aphrodisias and Simon of Faversham, he conceptualizes this distinction in hylomorphic terms, more specifically in terms of the distinction between formal and material consequence: