Premise: so not formally

Hypothesis: on the record
Relation: contradiction