Premise: I should never have left that case here.

Hypothesis: I should have left the case in this spot.
Relation: contradiction