diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index 3c7db1c..c7e13c7 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -515,6 +515,14 @@ pretty-printed with @racket[pprinter] and the edges with
 
 Calls @racket[pretty-print-state-graph-with] with @racket[pretty-print-state].
 
+@ex[
+(let* ([n (forms->boolean-network (hash 'a '(and a b)
+                                        'b '(not b)))]
+       [syn-dynamics (make-syn-dynamics n)])
+  (dotit (pretty-print-state-graph
+          ((inst build-full-state-graph Boolean) syn-dynamics))))
+]
+
 }
 
 @defproc[(ppsg [gr Graph]) Graph]{
@@ -527,6 +535,14 @@ A shortcut for @racket[pretty-print-state-graph].
 
 Calls @racket[pretty-print-state-graph-with] with @racket[pretty-print-state/boolean].
 
+@ex[
+(let* ([n (forms->boolean-network (hash 'a '(and a b)
+                                        'b '(not b)))]
+       [syn-dynamics (make-syn-dynamics n)])
+  (dotit (pretty-print-state-graph/boolean
+          ((inst build-full-state-graph Boolean) syn-dynamics))))
+]
+
 }
 
 @defproc[(ppsgb [gr Graph]) Graph]{