diff --git a/AlgebraicDataflowArchitectureModel/models/JumpGame.model b/AlgebraicDataflowArchitectureModel/models/JumpGame.model
index e1b9250..b9e3302 100644
--- a/AlgebraicDataflowArchitectureModel/models/JumpGame.model
+++ b/AlgebraicDataflowArchitectureModel/models/JumpGame.model
@@ -61,10 +61,10 @@
 channel C6 {
     in position(p, update2(p2, g2)) = p2
     in ground(g, update2(p2, g2)) = g2
-    out onground(o:Bool, update2(p2, g2)) = (g2 == true) && (right(p2) <= 0.0)
+    out onground(o:Bool, update2(p2, g2)) = (g2 == true && right(p2) <= 0.0)
 }
 channel C7 {
-    in position(p, update7(p2)) == p2
-    out clear(c:Bool, update7(p2)) == (left(p2) > 100.0)
-    out gameover(go:Bool, update7(p2)) == (right(p2) < -1.0)
+    in position(p, update7(p2)) = p2
+    out clear(c:Bool, update7(p2)) = (left(p2) > 100.0)
+    out gameover(go:Bool, update7(p2)) = (right(p2) < -1.0)
 }
\ No newline at end of file