diff --git a/src/Bergamot/Rules.elm b/src/Bergamot/Rules.elm
index 70486ac..7bd971e 100644
--- a/src/Bergamot/Rules.elm
+++ b/src/Bergamot/Rules.elm
@@ -169,7 +169,8 @@ provePremises = mapM proveTerm
 
 proveTerm : Term UnificationVar -> Prover ProofTree
 proveTerm t =
-    map (reify t) getUnificationState
+    getUnificationState
+    |> map (\us -> reify t us)
     |> andThen (\tp ->
         burn (
             getRules