Premise: A move from offering no presort program to offering a discount greater than 4.5a, then, is not Pareto optimal.

Hypothesis: It is not optimal to move from that program.
Relation: entailment