diff --git a/networks.rkt b/networks.rkt
index 559e627..14747d8 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -35,8 +35,8 @@
 
    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-boolean-state-graph ppsgb
+   pretty-print-state/boolean pretty-print-state-graph-with
+   pretty-print-state-graph ppsg pretty-print-state-graph/boolean ppsgb
    )
 
   (define-type (State a) (VariableMapping a))
@@ -667,14 +667,14 @@
       (check-equal? (pretty-print-state (hash 'a #f 'b 3 'c 4))
                     "a:#f b:3 c:4")))
 
-  (: pretty-print-boolean-state (All (a) (-> (State a) String)))
-  (define (pretty-print-boolean-state s)
+  (: pretty-print-state/boolean (All (a) (-> (State a) String)))
+  (define (pretty-print-state/boolean s)
     (string-join (hash-map s (λ (key val) (format "~a:~a" key (any->01 val))) #t)))
 
   (module+ test
-    (test-case "pretty-print-boolean-state"
+    (test-case "pretty-print-state/boolean"
       (check-equal?
-       (pretty-print-boolean-state (hash 'a #f 'b #t 'c #t))
+       (pretty-print-state/boolean (hash 'a #f 'b #t 'c #t))
        "a:0 b:1 c:1")))
 
   (: pretty-print-state-graph-with (-> Graph (-> Any Any) Graph))
@@ -691,13 +691,13 @@
 
   (define ppsg pretty-print-state-graph)
 
-  (: pretty-print-boolean-state-graph (-> Graph Graph))
-  (define (pretty-print-boolean-state-graph gr)
+  (: pretty-print-state-graph/boolean (-> Graph Graph))
+  (define (pretty-print-state-graph/boolean gr)
     (define (pprinter/any [x : Any])
-      (pretty-print-boolean-state (assert-type x (State Any))))
+      (pretty-print-state/boolean (assert-type x (State Any))))
     (pretty-print-state-graph-with gr pprinter/any))
 
-  (define ppsgb pretty-print-boolean-state-graph)
+  (define ppsgb pretty-print-state-graph/boolean)
   )
 
 (require 'typed)
diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index e4dcc6d..d3c25d1 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -476,12 +476,12 @@ Pretty-prints a state of a network.
 
 }
 
-@defproc[(pretty-print-boolean-state [s (State a)]) String]{
+@defproc[(pretty-print-state/boolean [s (State a)]) String]{
 
 Pretty-prints a state of a network, replacing all @racket[#f] values with 0 and
 all other values with 1.
 
-@ex[(pretty-print-boolean-state (hash 'a #f 'b 3 'c '() 'd #t))]
+@ex[(pretty-print-state/boolean (hash 'a #f 'b 3 'c '() 'd #t))]
 
 }
 
@@ -506,15 +506,15 @@ A shortcut for @racket[pretty-print-state-graph].
 
 }
 
-@defproc[(pretty-print-boolean-state-graph [gr Graph]) Graph]{
+@defproc[(pretty-print-state-graph/boolean [gr Graph]) Graph]{
 
-Calls @racket[pretty-print-state-graph-with] with @racket[pretty-print-boolean-state].
+Calls @racket[pretty-print-state-graph-with] with @racket[pretty-print-state/boolean].
 
 }
 
 @defproc[(ppsgb [gr Graph]) Graph]{
 
-A shortcut for @racket[pretty-print-boolean-state-graph].
+A shortcut for @racket[pretty-print-state-graph/boolean].
 
 }