diff --git a/src/inference/ProofSystem.java b/src/inference/ProofSystem.java
index 6736e74..9d15001 100644
--- a/src/inference/ProofSystem.java
+++ b/src/inference/ProofSystem.java
@@ -640,21 +640,23 @@
 		
 		formulaQueue.add(conclusion);
 		depthQueue.add(0);
-
+		
+		System.out.println("aaa");
+		
 		while (formulaQueue.size() != 0) {
 			Formula currentFormula = formulaQueue.poll();
-			if (used.contains(currentFormula)) {
-				continue;
-			}
+//			if (used.contains(currentFormula)) {
+//				continue;
+//			}
 			used.add(currentFormula);
 			int currentDepth = depthQueue.poll();
 			formulaResult.add(currentFormula);
 			depthResult.add(currentDepth);
 			if (! proofGraph.containsKey(currentFormula)) continue;
 			for (Formula nextFormula : proofGraph.get(currentFormula).formulas) {
-				if (used.contains(nextFormula)) {
-					continue;
-				}
+//				if (used.contains(nextFormula)) {
+//					continue;
+//				}
 				formulaQueue.add(nextFormula);
 				depthQueue.add(currentDepth + 1);
 				if (! usedAxioms.containsKey(currentDepth + 1)) {