counterexample to the latest prompt_to_i2_correct statement