Counterexample (easy)