If a representative of the Democratic party is sworn in as a Senator of North Carolina for the term beginning in 2027, then the market resolves to Yes.