Premise: Consider a program of discounts for presortation.

Hypothesis: Don't consider any programs.
Relation: contradiction