diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
index f54dd60..07e5d80 100644
--- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
+++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
@@ -1,5 +1,5 @@
 channel CIO_AddCustomer {
-	out customers(db:Map, addCustomer(uid:Str, off:Str)) == insert(db, uid, addMember(nil, "off", off))
+	out customers(db:Map, addCustomer(uid:Str, off:Str)) == insert(db, uid, {"off": off})
 }
 
 channel CIO_SetCustomerOff(uid:Str) {
@@ -11,7 +11,7 @@
 }
 
 channel C(uid:Str) {
-	in customers.{uid}.off(cid, sync) == sync.id
-	in companies.{sync.id}.add(a1, sync) == sync.add
-	out customers.{uid}.add(a3:Str, sync) == sync.add
+	in customers.{uid}.off(cid, sync(cid2, add2)) == cid2
+	in companies.{cid2}.add(a1, sync(cid2, add2)) == add2
+	out customers.{uid}.add(a3:Str, sync(cid2, add2)) == add2
 }