Added final counter example