Added counterexample as 'Example'