 Grosseteste’s appeal to the principle that entailment transmits necessity from the premises to the conclusions of a valid inference is a striking feature of the kind of argument he considers.  This principle forms the focus of much of Grosseteste’s discussion of the argument: “It would seem,” he notes, “that the only reply that we can give to the [arguments] stated above … is to say that what is contingent does indeed follow from things that are necessary” (Lewis 2017, 129).  But in the final analysis Grossetete does not reject the principle; he holds that entailment does indeed transmit necessity from premises to conclusion: “By syllogistic inference, then, what is necessary follows from necessary antecedents with the kind of necessity possessed by the antecedents, and the conclusion, like the antecedents, has truth that cannot cease in the future and from which it cannot be altered.” (Lewis 2017, 139).