diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
index 83112ba..3a460e2 100644
--- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
+++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
@@ -1,17 +1,21 @@
 channel C_CustomerAOff_In {
 	out customerA.off(c, setOff(x)) == x
+	out customerA.off(c, e) == c
 }
 
 channel C_CustomerBOff_In {
 	out customerB.off(c, setOff(x)) == x
+	out customerB.off(c, e) == c
 }
 
 channel C_CompanyC1Add_In {
 	out companyC1.add(a, setAdd(y)) == y
+	out companyC1.add(a, e) == a
 }
 
 channel C_CompanyC2Add_In {
 	out companyC2.add(a, setAdd(y)) == y
+	out companyC2.add(a, e) == a
 }
 
 channel CA {
diff --git a/AlgebraicDataflowArchitectureModel/models/Game.model b/AlgebraicDataflowArchitectureModel/models/Game.model
new file mode 100644
index 0000000..0a00659
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/Game.model
@@ -0,0 +1,27 @@
+channel CIO {
+	out force(f, action(x)) == x
+	out time(t, action(x)) == t + 0.01
+	out force(f, e) == x
+	out time(t, e) == t + 0.01
+}
+
+channel CIO2 {
+	out velocity(v, setVel(x)) == x
+	out velocity(v, e) == x
+}
+
+channel C1 {
+	in force(f, update1(y, m)) == y
+	in mass(m, update1(y, m)) == m
+	out acceleration(a, update1(y, m)) == y / m
+}
+
+channel C2 {
+	in acceleration(a, update2(z)) == z
+	out velocity(v, update2(z)) == v + 0.01 * z
+}
+
+channel C3 {
+	in velocity(v, update3(u)) == u
+	out position(p, update3(u)) == p + 0.01 * u
+}
\ No newline at end of file
diff --git a/AlgebraicDataflowArchitectureModel/models/Kinetics.model b/AlgebraicDataflowArchitectureModel/models/Kinetics.model
index 0076b7d..fb8e17d 100644
--- a/AlgebraicDataflowArchitectureModel/models/Kinetics.model
+++ b/AlgebraicDataflowArchitectureModel/models/Kinetics.model
@@ -1,6 +1,6 @@
 channel CIO {
-	out force(f, push(x)) == x
-	out time(t, push(x)) == t + 0.01
+	out force(f, action(x)) == x
+	out time(t, action(x)) == t + 0.01
 }
 
 channel C1 {