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