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