diff --git a/AlgebraicDataflowArchitectureModel/models/Base.model b/AlgebraicDataflowArchitectureModel/models/Base.model
index 15495df..68a891e 100644
--- a/AlgebraicDataflowArchitectureModel/models/Base.model
+++ b/AlgebraicDataflowArchitectureModel/models/Base.model
@@ -1,18 +1,13 @@
 channel CIO{
-	out r1(x1:Int,set(x1')) == x1'
+	out r1(x1:Int, set1(y1:Int)) == y1
+	out r1(x1, e) == x1
 }
 channel CIO2{
-	out r2(x2:Int,set(x2')) == x2'
-}
-channel CIO3{
-	out r4(x4:Int,set(x4')) == x4'
+	out r2(x2:Int, set2(y2:Int)) == y2
+	out r2(x2, e) == x2
 }
 channel C1{
-	in r1(x1,update(x1,x2)) == x1
-	in r2(x2,update(x1,x2)) == x2
-	out r3(x4:Int,update(x1,x2)) == x1 + x2
-}
-channel C2{
-	in r3(x3,update2(x3))== x3
-	out r5(x4:Int,update2(x3)) == x3 * 0.5
+	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
 }
\ No newline at end of file