Premise: Check, in lieu of work

Hypothesis: No check because of work.
Relation: contradiction