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