Premise: Unless the program is small and homogeneous, the evaluator faces two possibilities.

Hypothesis: The evaluator will definitely face three possibilities.
Relation: contradiction