If Graham Platner officially withdraws from the Maine Senate race after Issuance and before Jul 11, 2026, then the market resolves to Yes.