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