If the House member sworn in for MI-3 for the term beginning in 2027 is a member of the Republican Party, then the market resolves to Yes.