 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.