If the highest temperature recorded at Miami International Airport for May 14, 2026 as reported by the National Weather Service's Climatological Report (Daily), is less than 86°, then the market resolves to Yes.