 Particularly given the fact that thanks to climate change caused mainly by the man-made burning of fossil fuels, the waters in the Atlantic and the Gulf of Mexico in May, as I recall you reporting it, were already as warm as they would usually be in the month of August.