diff --git a/AlgebraicDataflowArchitectureModel/models/Base.model b/AlgebraicDataflowArchitectureModel/models/Base.model
index 68a891e..ac44843 100644
--- a/AlgebraicDataflowArchitectureModel/models/Base.model
+++ b/AlgebraicDataflowArchitectureModel/models/Base.model
@@ -9,5 +9,5 @@
 channel C1{
 	in r1(x1, update(x1:Int, y1:Int, x2:Int, y2:Int)) == y1
 	in r2(x2, update(x1, y1, x2, y2)) == y2
-	out r3(x3:Int, update(x1, y1, x2, y2)) == x1 + y1 + x2 + y2 + x3
+	out r3(x3:Int, update(x1, y1, x2, y2)) == x1 + y1 + x2 + y2
 }
\ No newline at end of file