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