diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md
index 6ea93b9..9944b2a 100644
--- a/docs/SUMMARY.md
+++ b/docs/SUMMARY.md
@@ -14,11 +14,13 @@
     * [Configuring XOS: xosconfig](xos/modules/xosconfig.md)
     * [Powering Up a POD](operate/power_up.md)
     * [ELK Stack Logs](operate/elk_stack.md)
-* [Models for CORD](xos/README.md)
-    * [Defining Models: xproto](xos/dev/xproto.md)
+* [Defining Models in CORD](xos/README.md)
+    * [XOS Support for Models](xos/dev/xproto.md)
     * [Core Models](xos/core_models.md)
     * [Security Policies](xos/security_policies.md)
-    * [Modeling Conventions](xos/modeling_conventions.md)
+    * [Writing Synchronizers](xos/dev/synchronizers.md)
+        * [Design Guidelines](xos/dev/sync_arch.md)
+        * [Implementation Details](xos/dev/sync_impl.md)
 * [Developing for CORD](develop.md)
     * [Workflow: platform-install](platform-install/README.md)
     * [Workflow: local dev](xos/dev/local_env.md)