If the minimum temperature recorded at Austin for Jul 23, 2026, is between 80-81° fahrenheit according to the National Weather Service's Climatological Report (Daily), then the market resolves to Yes.