Premise: the necessity

Hypothesis: The necessity
Relation: entailment