And so even if you're not even just looking at this summer, which has already set some crazy temperature records, especially out west, but also looking back to 2023 in our summer, it set temperature records across the U.S.