Text: information valuable in itself about how completely a program has been implemented.
Entailment: A program is only as valuable as the information it contains.
Contradiction: Information is an invaluable asset.