Premise: Program Information

Hypothesis: Program does not exist.
Relation: contradiction