Text: really it must be the um at
Entailment: It must be.
Contradiction: It isn't.