If a representative of the Republican party is inaugurated as the governor of Kentucky pursuant to the 2027 election, then the market resolves to Yes.