If Lake Mead's end-of-month water elevation at Hoover Dam for Dec 2026 is strictly greater than 1033 feet, then the market resolves to Yes.