Premise: information valuable in itself about how completely a program has been implemented.

Hypothesis: A program is only as valuable as the information it contains.
Relation: entailment