If the total precipitation at CLIDEN in Denver in Jul 2026 is strictly greater than 1 inches, then the market resolves to Yes.