Premise: Understanding the Program

Hypothesis: The program can be understood for how it works.
Relation: neutral