Premise: Toward Reform of Program

Hypothesis: Fixed Program
Relation: contradiction