 I think that it's important for us to realize that when we're looking at this budget, it's a massive document. It's a lot of pages, right? It's thousands of pages. And we're talking billions of dollars, close to $20 billion.