Premise: As shown in our case
Hypothesis: We never had a case before 
Label: contradiction