Premise: so that was the next problem he had to redo that too i

Hypothesis: We didn't bother with a redo.
Relation: contradiction