diff --git a/src/Main.java b/src/Main.java
index 7d0b393..c82aa22 100644
--- a/src/Main.java
+++ b/src/Main.java
@@ -13,6 +13,7 @@
 import models.terms.Dependency;
 import models.terms.DependencyTerm;
 import models.terms.EvaluatableTerm;
+import models.terms.ResourceConstant;
 import models.terms.ResourceVariable;
 import parser.Parser;
 import parser.Parser.TokenStream;
@@ -99,18 +100,19 @@
 	}
 	
 	static void sandbox2() {
-		System.out.println("----------------------------------------------------sandbox2");
-		ResourceVariable a = new ResourceVariable("a", INT, 1);
-		ResourceVariable b = new ResourceVariable("b", INT, 1);
-		ResourceVariable c = new ResourceVariable("c", INT, 1);
-		ResourceVariable d = new ResourceVariable("d", INT, 1);
-		EquationFormula ef1 = new EquationFormula(a, b);
-		EquationFormula ef2 = new EquationFormula(b, a);
-		EquationFormula ef3 = new EquationFormula(b, c);
-		EquationFormula ef4 = new EquationFormula(c, d);
-		EquationFormula ef5 = new EquationFormula(d, a);
-		System.out.println(ProofSystem.check(List.of(ef1), ef2));
-		System.out.println(ProofSystem.check(List.of(ef1, ef2, ef3, ef4), ef5));
+		ResourceVariable A = new ResourceVariable("A", INT, 1);
+		ResourceVariable N = new ResourceVariable("N", INT, 1);
+		ResourceVariable X = new ResourceVariable("X", INT, 1);
+		ResourceVariable S = new ResourceVariable("S", INT, 1);
+		ResourceVariable S1 = new ResourceVariable("S1", INT, 1);
+		ResourceConstant zero = new ResourceConstant("0");
+		DependencyTerm t1 = new DependencyTerm(S, S1, zero);
+		DependencyTerm t2 = new DependencyTerm(S, S1, X);
+		DependencyTerm t3 = new DependencyTerm(A, N, t2);
+		DependencyTerm t4 = new DependencyTerm(t3, X, t1);
+		System.out.println(t4);
+		System.out.println(t4.linearRightNormalize());
+		
 	}
 	
 	@SneakyThrows