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

Hypothesis: None of the programs will be small or homogeneous.
Relation: neutral