Premise: If progress is not made

Hypothesis: If progress is not stopped.
Relation: contradiction