diff --git a/networks.rkt b/networks.rkt
index b5b3f16..0a4989f 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -63,10 +63,10 @@
                [table->function/list (-> (listof (*list/c any/c any/c)) procedure?)]
                [boolean-power (-> number? (listof (listof boolean?)))]
                [boolean-power/stream (-> number? (stream/c (listof boolean?)))]
-               [enumerate-boolean-tables (-> number? (stream/c (listof (*list/c any/c any/c))))]
+               [enumerate-boolean-tables (-> number? (stream/c (listof (*list/c boolean? boolean?))))]
                [enumerate-boolean-functions (-> number? (stream/c procedure?))]
                [enumerate-boolean-functions/list (-> number? (stream/c procedure?))]
-               [random-boolean-table (-> number? (*list/c any/c any/c))]
+               [random-boolean-table (-> number? (listof (*list/c boolean? boolean?)))]
                [random-boolean-function (-> number? procedure?)]
                [random-boolean-function/list (-> number? procedure?)])
  ;; Predicates