new methods for printing definitions.
changes to existing methods to use application.
+extra tests
making changes to methods and tests.
Changes on Cases method and to relevand tests.