diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt
index 9889192..b2e9750 100644
--- a/racket/typed/roles.rkt
+++ b/racket/typed/roles.rkt
@@ -577,8 +577,9 @@
    [⊢ s ≫ s- (⇒ : t1)] ...
    [⊢ (dataspace τ-c.norm s- ...) ≫ _ (⇒ : t2)]
   ]
+  #:with τ-out (strip-outbound #'τ-c.norm)
   -----------------------------------------------------------------------------------
-  [⊢ (#%app- syndicate:run-ground s- ...) (⇒ : (AssertionSet τ-c))])
+  [⊢ (#%app- syndicate:run-ground s- ...) (⇒ : (AssertionSet τ-out))])
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Utilities