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