 And 36 of the 50 state records were set prior to 1975. So we did get some heat waves, but most of the temperatures were 10 or 15 degrees below the state records. And I believe during the old dinosaur days, Stephen, it was even hotter.