 So what House Republicans have done is we have held federal spending growth to 1% year over year, which is nearly a record low. And we've also increased substantially our military spending because let's not forget that under Joe Biden, our world is not at all a safe place under Joe Biden. The threats are real. So we've plussed up our military. We've plussed up our veteran spending. And many of the other federal agencies, we've actually cut year over year cuts.