If the total precipitation at CLIMIA in Miami in Jul 26, 2026 is strictly greater than 0 inches, then the market resolves to Yes.