If the Republican party wins the Florida House of Representatives in 2026, then the market resolves to Yes.