 However, even though the medieval authors may use the same terminology to refer to these different concepts, this does not mean that they are not aware of the relevant differences, in particular between a conditional and a consequence (Normore 2015). As Buridan (Tractatus de Consequentiis (henceforth TC), 21) remarks, it is for the most part a matter of terminology: he says he will adopt the definition of consequence as a true hypothetical sentence, but then throughout his text also uses the terminology of a consequence being valid or holding rather than simply being true or false. At any rate, it seems fair to say that, even though analyses of conditionals are often in the background (as is especially obvious in Boethius and Abelard with examples such as ‘if it is a human, it is an animal’, and in analyses of the syncategorematic term ‘si’, ‘if’ (Spruyt 2018)), the main focus of medieval theories of consequence tends to be the logical relations between sentential/propositional components (King 2001; Read 2010), essentially (though not entirely) in the spirit of modern accounts of the notion of logical consequence (Shapiro 2005) (Caret and Hjortland 2015). Some modern scholars (e.g. Spade in his translation of Burley’s De Puritate; Read 2010) prefer to translate the medieval term ‘consequentia’ as ‘inference’, but arguably ‘consequence’ is a more appropriate translation, both for etymological and for conceptual reasons.