Finding counter example

Top