Premise: Programs

Hypothesis: No Plan
Relation: contradiction