I don't want to jinx anything, but are we finally done with the successive heat waves this year? Is autumn really here?