Premise: just exactly

Hypothesis: Precisely.
Relation: entailment