diff --git a/AlgebraicDataflowArchitectureModel/models/Accounts.model b/AlgebraicDataflowArchitectureModel/models/Accounts.model
index e1d32b1..dba68ba 100644
--- a/AlgebraicDataflowArchitectureModel/models/Accounts.model
+++ b/AlgebraicDataflowArchitectureModel/models/Accounts.model
@@ -1,7 +1,7 @@
 channel CIO1 {
-	out accounts(l:Map, signup(id:Int, name:Str)) == append(l, {"name": name})
+	out accounts(l:Map, signup(id:Int, name:Str)) = append(l, {"name": name})
 }
 
 channel CIO2(uid:Int) {
-	out accounts.{uid}.name(n:Str, changeName(name)) == name
+	out accounts.{uid}.name(n:Str, changeName(name)) = name
 }