Premise: 12 We assume that current-law benefits are paid in full even after the projected exhaustion of the OASDI and HI Trust Funds.

Hypothesis: They were only partially paid benefits.
Relation: contradiction