Premise: no we haven't um

Hypothesis: Yes we have.
Relation: contradiction