Premise: Termination

Hypothesis: Renewal
Relation: contradiction