diff --git a/src/Main.java b/src/Main.java
index d337f41..30d1775 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -44,7 +44,7 @@
 		initialConditions.add(new DependencyFormula(new Dependency(new Dependency(A, B), D), F));
 		initialConditions.add(new DependencyFormula(new Dependency(new Dependency(Ap, Bp), Dp), Fp));
 		initialConditions.add(new EquationFormula(new DependencyTerm(A, B, C), new DependencyTerm(Ap, Bp, Cp)));
-		Formula conclusion = new EquationFormula(
+		EquationFormula conclusion = new EquationFormula(
 			new DependencyTerm(new DependencyTerm(new DependencyTerm(A, B, C), D, E), F, G),
 			new DependencyTerm(new DependencyTerm(new DependencyTerm(Ap, Bp, Cp), D, E), F, G)
 		);
@@ -53,6 +53,8 @@
 		}
 		System.out.println(conclusion.toString());
 		ProofSystem.check(initialConditions, conclusion);
+		System.out.println(conclusion.getLeftSideHand().linearRightNormalize().toString());
+		System.out.println(conclusion.getRightSideHand().linearRightNormalize().toString());
 	}
 	
 	@SneakyThrows