Premise: GAO has never had a centralized, formal program to reduce its travel costs by capturing and using its employees' official travel miles.

Hypothesis: Employees have never been required to turn over their travel miles to the GAO in order to reduce travel costs.
Relation: entailment