Text: A move from offering no presort program to offering a discount greater than 4.5a, then, is not Pareto optimal.
Entailment: It is not optimal to move from that program.
Contradiction: They should move from the presort program.