If Kevin West wins the Oklahoma Republican runoff primary for Commissioner of Labor, then the market resolves to Yes.