diff --git a/src/Main.java b/src/Main.java
index 30d1775..053d306 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -12,6 +12,7 @@
 import models.formulas.Formula;
 import models.terms.Dependency;
 import models.terms.DependencyTerm;
+import models.terms.EvaluatableTerm;
 import models.terms.ResourceVariable;
 import parser.Parser;
 import parser.Parser.TokenStream;
@@ -53,8 +54,16 @@
 		}
 		System.out.println(conclusion.toString());
 		ProofSystem.check(initialConditions, conclusion);
+		System.out.println("=======================");
+		EvaluatableTerm lrn = conclusion.getLeftSideHand().linearRightNormalize();
+		var subTerms = lrn.getSubTerms(EvaluatableTerm.class);
 		System.out.println(conclusion.getLeftSideHand().linearRightNormalize().toString());
-		System.out.println(conclusion.getRightSideHand().linearRightNormalize().toString());
+		for(var sub: subTerms.keySet()) {
+			System.out.println(sub.getOrders().toString());
+			System.out.println(subTerms.get(sub).toString());
+		}
+		System.out.println("==================");
+		System.out.println(conclusion.getRightSideHand().linearRightNormalize().toString()); 
 	}
 	
 	@SneakyThrows