If the highest temperature recorded in Austin Bergstrom for July 14, 2026 as reported by the National Weather Service's Climatological Report (Daily), is less than 85°, then the market resolves to Yes.