Premise: Understanding the Program

Hypothesis: The program cannot be understood.
Relation: contradiction