Mike Braun actually said...

When I was here earlier, the discussion was about the fact that 20 percent of GDP is maybe some magic number in terms of where we should be ...

So Dr. McBride, do you think we can generate 20 percent of GDP in federal revenues without depressing the economic growth rate?

It can be done.

I'm out of time here, and I might note that our current spending is now not at 20 percent. It's about 25 percent of GDP.