The sense of the antecedent compels that of the consequent when there is a necessary metaphysical connection between the terms

There is another way in which conclusions can be necessary and relevant to their premisses, yet not be formally valid (not be a complete entailment). The necessary connection among the propositions, and the link among their senses, might be a function of non-formal metaphysical truths holding in all possible worlds. For instance, human beings are a kind of animal, so the consequence ‘If Socrates is a human being, Socrates is an animal’ holds of necessity and the sense of the antecedent compels t