Text: so not formally
Entailment: informally
Contradiction: on the record