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 cannot be altered to include travel savings.
Relation: contradiction