diff --git a/src/test/java/inference/inferencerule/DependencyAxiomTest.java b/src/test/java/inference/inferencerule/DependencyAxiomTest.java
index 759d5ab..56cdaf5 100644
--- a/src/test/java/inference/inferencerule/DependencyAxiomTest.java
+++ b/src/test/java/inference/inferencerule/DependencyAxiomTest.java
@@ -121,10 +121,10 @@
 		Resource e = new Resource("e", 3);
 		Resource f = new Resource("f", 3);
 		DependencyFormula d1 = new DependencyFormula(a, b, d);
-		DependencyFormula d2 = new DependencyFormula(d1.getDependency(), e, f);
+		DependencyFormula d2 = new DependencyFormula(d1.getDependency(), e);
 		MatchConstraint constraint = MatchConstraint.createDefault();
-		constraint.getContext().put("j", 2);
-		constraint.setBinding(new Variable("ue0"), e);
+		constraint.getContext().put("j", 1);
+		constraint.setBinding(new Variable("ue"), e);
 		constraint.setBinding(new Variable("ue1"), f);
 		Set<Formula> res = ProofSystem.dependencyExtension.derive(List.of(d1), constraint);
 		assertTrue(res.contains(d2));