Premise: there should be

Hypothesis: there should never be
Relation: contradiction