If Trey Martin wins the nomination for the Democratic Party to contest the 2026 OK-05 House seat, then the market resolves to Yes.