Started implementing counter example viewr