Yes. If you look at, I guess, the last 12 months, just look at my chart, we got as high as, I think, 56,000, 57,000 middle of last year, I guess, during the summer months, and that was, again, increased utilization based on historical standards. Today, if you look at the nationwide number, let's see, this was January. Today, that number was about 42,000, 43,000 nationally that I said in detention capacity, public or private. And what I would say is that if you look at just the amount of individuals they've apprehended on the border, that appears to be pretty consistent over the winter with historical standards looking back at 10-plus years. So that's a long way of saying, and it appears that having kind of funding, I don't know if it's 60,000, but probably some funding up to where they were last year, 55,000 based on now kind of unique things that happen from time to time but also seasonal fluctuations in population, that's probably a pretty good number. Again, 50,000, I don't know if that all can get through Congress and through the House and Senate. But I'd say kind of the funding that it got today, that might be a pretty good number for them to think about claiming now on next year. Anything you would add to that, David?