the counterexample as we wanted does not work