 Now, before that heat wave, we were actually averaging 4 degrees below normal for the month. 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...