diff --git a/networks.rkt b/networks.rkt
index c3c804d..559e627 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -36,7 +36,7 @@
    Modality Mode dynamics% Dynamics% make-syn make-asyn
    make-asyn-dynamics make-syn-dynamics pretty-print-state
    pretty-print-boolean-state pretty-print-state-graph-with
-   pretty-print-state-graph ppsg
+   pretty-print-state-graph ppsg pretty-print-boolean-state-graph ppsgb
    )
 
   (define-type (State a) (VariableMapping a))
@@ -690,6 +690,14 @@
     (pretty-print-state-graph-with gr pprinter/any))
 
   (define ppsg pretty-print-state-graph)
+
+  (: pretty-print-boolean-state-graph (-> Graph Graph))
+  (define (pretty-print-boolean-state-graph gr)
+    (define (pprinter/any [x : Any])
+      (pretty-print-boolean-state (assert-type x (State Any))))
+    (pretty-print-state-graph-with gr pprinter/any))
+
+  (define ppsgb pretty-print-boolean-state-graph)
   )
 
 (require 'typed)
diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index 138bd2c..e4dcc6d 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -506,6 +506,17 @@ A shortcut for @racket[pretty-print-state-graph].
 
 }
 
+@defproc[(pretty-print-boolean-state-graph [gr Graph]) Graph]{
+
+Calls @racket[pretty-print-state-graph-with] with @racket[pretty-print-boolean-state].
+
+}
+
+@defproc[(ppsgb [gr Graph]) Graph]{
+
+A shortcut for @racket[pretty-print-boolean-state-graph].
+
+}
 
 
 @section{Inferring interaction graphs}