Premise: Although we never set up a GAO-wide program to capture and use frequent flyer miles, several of our field offices tried to establish such programs.

Hypothesis: In fact, we did set up a GAO-wide program for using frequent flyer miles.
Relation: contradiction