For "the":
Note though that if you're going to use fed tax rev in dollars, you should adjust for the underlying growth in the population. Simply due to pop gro, GDP should grow and fed tax rev should grow. Doesn't make sense to give any tax policy the credit for fed tax rev gro that is simply due to babies being born.