diff --git a/src/models/formulas/meta/MetaDependencyFormula.java b/src/models/formulas/meta/MetaDependencyFormula.java
index cd6a12a..b6fdd67 100644
--- a/src/models/formulas/meta/MetaDependencyFormula.java
+++ b/src/models/formulas/meta/MetaDependencyFormula.java
@@ -24,7 +24,7 @@
 	}
 	
 	@Override
-	public boolean isMatchBy(Formula formula, Map<Variable, RDLTerm> binding,
+	public boolean isMatchedBy(Formula formula, Map<Variable, RDLTerm> binding,
 			Map<Variable, OrderVariableConstraint> orderConstraint) {
 		if (! (formula instanceof DependencyFormula)) {
 			return false;
diff --git a/src/models/formulas/meta/MetaEquationFormula.java b/src/models/formulas/meta/MetaEquationFormula.java
index 5bed7ea..62ed104 100644
--- a/src/models/formulas/meta/MetaEquationFormula.java
+++ b/src/models/formulas/meta/MetaEquationFormula.java
@@ -30,7 +30,7 @@
 	}
 	
 	@Override
-	public boolean isMatchBy(Formula formula, Map<Variable, RDLTerm> binding,
+	public boolean isMatchedBy(Formula formula, Map<Variable, RDLTerm> binding,
 			Map<Variable, OrderVariableConstraint> orderConstraint) {
 		if (! (formula instanceof EquationFormula)) {
 			return false;
diff --git a/src/models/formulas/meta/MetaFormula.java b/src/models/formulas/meta/MetaFormula.java
index 7dece26..f21e2f8 100644
--- a/src/models/formulas/meta/MetaFormula.java
+++ b/src/models/formulas/meta/MetaFormula.java
@@ -10,10 +10,10 @@
 
 public abstract class MetaFormula {
 
-	public boolean isMatchBy(Formula formula) {
-		return isMatchBy(formula, new HashMap<>(), new HashMap<>());
+	public boolean isMatchedBy(Formula formula) {
+		return isMatchedBy(formula, new HashMap<>(), new HashMap<>());
 	}
 	
-	public abstract boolean isMatchBy(Formula formula, Map<Variable, RDLTerm> binding, Map<Variable, OrderVariableConstraint> orderConstraint);
+	public abstract boolean isMatchedBy(Formula formula, Map<Variable, RDLTerm> binding, Map<Variable, OrderVariableConstraint> orderConstraint);
 	
 }
diff --git a/src/tests/formulas/meta/MetaEquationFormulaTest.java b/src/tests/formulas/meta/MetaEquationFormulaTest.java
index 933be37..561ab6b 100644
--- a/src/tests/formulas/meta/MetaEquationFormulaTest.java
+++ b/src/tests/formulas/meta/MetaEquationFormulaTest.java
@@ -41,7 +41,7 @@
 		MetaEquationFormula metaFormula = new MetaEquationFormula(left, right);
 		
 		// [a : b -> c] = [a : b -> d] matches [se : v -> te] = [se : v -> ue]
-		assertTrue(metaFormula.isMatchBy(formula));
+		assertTrue(metaFormula.isMatchedBy(formula));
 		
 	}
 	
@@ -61,7 +61,7 @@
 		MetaDependencyFormula metaDepF = new MetaDependencyFormula(dep);
 		
 		//[a : b -> c] : d matches te : w
-		assertTrue(metaDepF.isMatchBy(depF));
+		assertTrue(metaDepF.isMatchedBy(depF));
 	}
 	
 }