Premise: A test that uses a representative set of programs and

Hypothesis: The test doesn't require using a representative set of programs.
Relation: contradiction