Premise:  Nonoperating costs, such as payments made to the Treasury for retroactive charges are excluded.
Hypothesis: Payments made retroactively to the Treasury don't count.
Label: entailment