Added example3 with counterexample