 And adding in those 90-degree days, we've actually dropped that average to 2.2 degrees Fahrenheit. So we're 2.2 degrees below average, so still a cooler July. But when you're talking about that heat dome, that's actually an access for what we call ridge riders to form and then move along.