mnli premise: The program is discretionary, and Justice components can choose whether they want to include frequent flyer savings, lodging savings, or both. hypothesis: The program can be altered to include travel savings for all federal employees.