Premise: There is no need.
Hypothesis: This must be done. 
Label: contradiction