Premise: Eventually, we tracked the bug down to one single line of code that failed because it assumed all graphics cards are created equal.

Hypothesis: We combed this code from top to bottom and could not find a single bug.
Relation: contradiction