diff --git a/networks.rkt b/networks.rkt
index 20e7454..a590a63 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -762,7 +762,12 @@
   (test-case "tabulate-state*/boolean"
     (define f1 (λ (st) (and (hash-ref st 'a) (hash-ref st 'b))))
     (define f2 (λ (st) (or (hash-ref st 'a) (hash-ref st 'b))))
-    (tabulate-state*/boolean (list f1 f2) '(a b))))
+    (check-equal? (tabulate-state*/boolean (list f1 f2) '(a b))
+                  '((a b f1 f2)
+                    (#f #f #f #f)
+                    (#f #t #f #t)
+                    (#t #f #f #t)
+                    (#t #t #t #t)))))
 
 ;;; Tabulates a given network.
 ;;;