mnli 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