diff --git a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
index c587fb7..6c989ee 100644
--- a/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
+++ b/AlgebraicDataflowArchitectureModel/models/CustomerOffice.model
@@ -7,7 +7,7 @@
 }
 
 channel C(uid:Str) {
-	in customers.{uid}.off(cid, sync(cid2, a2)) == cid2
-	in companies.{cid2}.add(a1, sync(cid2, a2)) == a2
-	out customers.{uid}.add(a3:Str, sync(cid2, a2)) == a2
+	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
 }