If the maximum temperature recorded at Austin for Jul 4, 2026, is greater than 75°F according to the Weather Company, then the market resolves to Yes.