diff --git a/AlgebraicDataflowArchitectureModel/models/Accounts.model b/AlgebraicDataflowArchitectureModel/models/Accounts.model
index 81093de..1dbffc5 100644
--- a/AlgebraicDataflowArchitectureModel/models/Accounts.model
+++ b/AlgebraicDataflowArchitectureModel/models/Accounts.model
@@ -1,5 +1,5 @@
 channel CIO1 {
-	out accounts(l:List, signup(name:Str)) == cons(name, l)
+	out accounts(l:List, signup(name:Str)) == append(l, name)
 }
 
 channel CIO2(uid:Int) {