Premise: probably wouldn't be necessary.
Hypothesis: It's definitely required. 
Label: contradiction