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