Premise: really it must be the um at

Hypothesis: It must be.
Relation: entailment