If the total precipitation at CLIDFW in Dallas in Dec 2025 is strictly greater than 5 inches, then the market resolves to Yes.