diff --git a/AlgebraicDataflowArchitectureModel/models/Accounts.model b/AlgebraicDataflowArchitectureModel/models/Accounts.model
new file mode 100644
index 0000000..e1d32b1
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/Accounts.model
@@ -0,0 +1,7 @@
+channel CIO1 {
+	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
+}