 Lavenham, for example, says (as quoted in King 2001, 133): “A consequence is formal when the consequent necessarily belongs to the understanding of the antecedent, as it is in the case of syllogistic consequence, and in many enthymematic consequences”. Strode presents a similar formulation: