So you can write it down. July was the hottest month in the history of California. We’re not surprised. July became the month when temperatures in …