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