Premise: The net avoided cost measure (NAC) of the USO is the sum of the losses from unprofitable routes.

Hypothesis: The net avoided cost is calculated from all profitable routes.
Relation: contradiction