Started adding functions to counterexample
Text display of functions