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

Hypothesis: The GAO tracks and captures all program miles earned by its employees.
Relation: contradiction