diff --git a/src/beliefRevisionGames/revisionOperatorsUtils.nim b/src/beliefRevisionGames/revisionOperatorsUtils.nim
index 08cb446..ddecc9c 100644
--- a/src/beliefRevisionGames/revisionOperatorsUtils.nim
+++ b/src/beliefRevisionGames/revisionOperatorsUtils.nim
@@ -45,4 +45,4 @@ proc delta*[T](
     choicedFormula = dfInterpretationPairs.filterIt(
       it[0] == dfInterpretationPairs[0][0]
     ).mapIt(it[1].interpretationToFormula())
-  choicedFormula.foldl(a | b).simplification()
\ No newline at end of file
+  choicedFormula.foldl(a | b)
\ No newline at end of file