diff --git a/telingo/theory/body.py b/telingo/theory/body.py
index bce87ee..be46ca3 100644
--- a/telingo/theory/body.py
+++ b/telingo/theory/body.py
@@ -315,10 +315,10 @@ def do_translate(self, ctx, step, data):
                     lhs = -lhs
                 make_disjunction(ctx.backend, lit, lhs, rhs)
             elif self.__operator == "<>":
-                ctx.backend.add_rule([], [ lit,  rhs,  lhs])
-                ctx.backend.add_rule([], [ lit, -rhs, -lhs])
-                ctx.backend.add_rule([], [-lit,  rhs, -lhs])
-                ctx.backend.add_rule([], [-lit, -rhs,  lhs])
+                ctx.backend.add_rule([], [-lit,  rhs,  lhs])
+                ctx.backend.add_rule([], [-lit, -rhs, -lhs])
+                ctx.backend.add_rule([], [ lit,  rhs, -lhs])
+                ctx.backend.add_rule([], [ lit, -rhs,  lhs])
 
 # Temporal Formulas {{{1