 You know, people start worrying and say, gee, we're not in the 90s or the 100s anymore. We're in the 80s. Is summer over? I don't think it's over, but, you know, we're right at our climatologically warmest time of year, July 17th to 20th, around there, depending where you're at. It's typically the warmest time of year. But, you know, I don't know that anyone would argue, you know, that they really want more 100-degree temperatures. You know, with the humidity that we've had with so much moisture...