If the highest temperature recorded in Austin Bergstrom for July 30, 2026 as reported by the National Weather Service's Climatological Report (Daily), is between 100-101°, then the market resolves to Yes.