Given a premise, retrieve a hypothesis that is entailed by the premise.information valuable in itself about how completely a program has been implemented.
A program is only as valuable as the information it contains.
Information is an invaluable asset.