If a representative of the Republican party is sworn in as the Attorney General of Ohio for the term beginning in 2027, then the market resolves to Yes.