Premise: the other check went through

Hypothesis: The other check was not able to go through.
Relation: contradiction