Premise: Conclusions are logical inferences about the program based on the auditors' findings and should flow from the findings, instead of representing a summary of them.

Hypothesis: Logical inferences of the program ignore the findings of the auditors.
Relation: contradiction