 Notice however that ‘Socrates is not running, therefore a man is not running’ and ‘Only a man is a donkey, therefore every donkey is a man’ are both formal consequences for Ockham (since both hold in virtue of middles), whereas the former is clearly an enthymeme, not valid in all substitutional instances of the terms ‘Socrates’, ‘man’, and ‘running’, thus not satisfying (ST) (see (Crimi 2018) on the extensional discrepancy between Ockham’s notion of formal consequence and Buridan’s (ST)-based notion of formal consequence). The latter, on the other hand, is valid in all substitutional instances of ‘donkey’ and ‘man’, and indeed this seems to be the case of most, if not all, of Ockham’s formal consequences immediately valid in virtue of extrinsic middles; he explicitly says for example that syllogisms are of the latter kind. Effectively, formal consequences immediately valid in virtue of extrinsic middles satisfy the (ST) criterion of being valid ‘in all matter’, but the same does not hold of Ockham’s (enthymematic) consequences valid in virtue of an intrinsic middle.