example of a counterexample - Search