If Mike Mazzei wins the nomination for the Republican Party to contest the 2026 Oklahoma Governorship, then the market resolves to Yes.