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

Hypothesis: They should move from the presort program.
Relation: contradiction