Premise: We assume that current-law benefits are paid in full

Hypothesis: We assumed that current benefits would be left unpaid.
Relation: contradiction