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