Take the following as truth: Unless the program is small and homogeneous, the evaluator faces two possibilities.
Then the following statement: "None of the programs will be small or homogeneous." is true, false, or inconclusive?