prove counterexample to the current prompt_to_i2_correct statement