diff --git a/networks.rkt b/networks.rkt
index 8bce423..f24a203 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -79,11 +79,11 @@
                [random-network (domain-mapping/c . -> . network?)]
                [random-boolean-network ((listof variable?) . -> . network?)]
                [random-boolean-network/vars (number? . -> . network?)]
+               [apply-tbf-to-state (-> tbf? state? (or/c 0 1))]
                [tbf/state-w (-> tbf/state? (hash/c variable? number?))]
                [tbf/state-θ (-> tbf/state? number?)]
                [make-tbf/state (-> (listof (cons/c variable? number?)) number? tbf/state?)]
-               [apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))]
-               [apply-tbf-to-state (-> tbf? state? (or/c 0 1))])
+               [apply-tbf/state (-> tbf/state? (hash/c variable? (or/c 0 1)) (or/c 0 1))])
  ;; Predicates
  (contract-out [variable? (-> any/c boolean?)]
                [state? (-> any/c boolean?)]