If Eliott Rodriguez wins the nomination for the Democratic Party to contest the 2026 FL-27 House seat, then the market resolves to Yes.