diff --git a/imperative/distributed/federation.rkt b/imperative/distributed/federation.rkt
index 6064646..c49f6c2 100644
--- a/imperative/distributed/federation.rkt
+++ b/imperative/distributed/federation.rkt
@@ -137,7 +137,6 @@
                (define ep (gensym 'ep))
                (on-start (!! (Assert ep (observe spec))))
                (on-stop (!! (Clear ep)))
-               (assert (server-envelope scope (observe spec)))
                (on (message (server-envelope management-scope
                                              (message-server->poa session-id (Add ep $captures))))
                    (react (assert (instantiate-term->value pat captures))
diff --git a/imperative/distributed/server.rkt b/imperative/distributed/server.rkt
index 84eb27b..b5e3d81 100644
--- a/imperative/distributed/server.rkt
+++ b/imperative/distributed/server.rkt
@@ -15,6 +15,8 @@
          (assert (server-envelope scope assertion)))
        (on (message (server-proposal $scope $body))
            (send! (server-envelope scope body)))
+       (during (observe (server-envelope $scope $spec))
+         (assert (server-proposal scope (observe spec))))
 
        (during/spawn (server-poa $id)
          (on-start