Yes, good question. I think it's probably -- well, the short answer is probably going to be higher than it is today. So as you know, again, they've got the funding for the rest of this year, 41,500. That is also a meaningful increase on last year's funding which was 34,000. Now, last year, as you know, they were able to go to elevated number on population just because they did some reprogramming that was mentioned by the [ sector ] home security last summer, but nonetheless, very notable that there are at 41,500 today. It's our sense the populations -- again, before this recent dip, populations were at 38,000 to 39,000. We got a sense, as you know, not just -- really not with us. But I think other jurisdictions, they do have -- they did have some guarantee minimum beds that were not occupied. And so once you factor kind of actual population with maybe some beds that are under contract but currently not utilized for other reasons because I think they always have a little bit of slack in the system, they're pretty much at full utilization at that kind of 41,000. So I think the shorter answer is they're probably going to need additional funding. And that could happen again possibly this year. Obviously, we don't know if anything that's underway. But again, in years past, they have done some reprogramming for specific needs on the Southwest border. And then obviously, we'll be watching closely what's happen going into the next fiscal year for funding numbers. I guess I will also note -- I mean, there is a very broad bipartisan support on a higher population number. And the reason I say that it was a supplemental that also didn't pass the house but did pass us the Senate in February, had a number of, I think, 50,000 or 55,000 beds. And so there is support for additional capacity. But obviously, we'll just have to watch closely what happens for the rest of this year going to next year. But anything you add to that, Dave?