Premise: That's not progress?

Hypothesis: That is certainly not progress.
Relation: contradiction