premise: GAO has never had a centralized, formal program to reduce its travel costs by capturing and using its employees' official travel miles.
hypothesis: Many GAO employees continue to use miles gained through work travel to pay for private vacations.