Premise: probably wouldn't be necessary.

Hypothesis: It's definitely required. 
Relation: contradiction