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