Premise: think we have
Hypothesis: I don't think we have. 
Label: contradiction