If the House member sworn in for FL-24 for the term beginning in 2027 is a member of the Democratic Party, then the market resolves to Yes.