If the highest temperature recorded at Miami International Airport for July 31, 2026 as reported by the National Weather Service's Climatological Report (Daily), is between 95-96°, then the market resolves to Yes.