 Denver had been experiencing an influx of population from other parts of the country from citizens, from people who just wanted to move out here. And so that has also contributed mightily to the problem. But that's less of an issue now because prices have gone up so much. A lot of the immigration into the city has stabilized. And in fact, Colorado on the whole,