diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index ce7e40a..dd7d593 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -412,7 +412,11 @@ This is the only method of @racket[dds%] overridden in this class.
 The type of an instance of @racket[dynamics%] with values of type @racket[a].
 
 @ex[
-(ann (inst dynamics% Boolean) (Dynamics% Boolean))
+(let* ([n (forms->boolean-network (hash 'a '(and a b)
+                                        'b '(not b)))]
+       [syn '((a) (b))]
+       [syn-dynamics (new (inst dynamics% Boolean) [network n] [mode syn])])
+  (ann syn-dynamics (Dynamics% Boolean)))
 ]
 
 Note that, as of 2022-09-15, Typed Racket does not seem to allow to pass type