If a representative of the Republican party is sworn in as a Senator of Oklahoma for the term beginning in 2029, then the market resolves to Yes.