Premise: Basically, we used the productivity assumption underlying CBO's January 2001, 10-year budget projections.

Hypothesis: We didn't use any productivity assumptions in the budget projections
Relation: contradiction