 I mean, you don't actually spend the money in D.C. You give it away to the states and they spend it. Do I have that right? That's correct. HUD is a grant-making institution and a mortgage insurance lender. So that's the bulk of that money. Obviously, the Treasury collects all of the taxpayer dollars and filters some of that into HUD as an agency. But we're trying to...