diff --git a/lib/Logic/Statement/Eval.hs b/lib/Logic/Statement/Eval.hs
index 6c96d29..3b4dac9 100644
--- a/lib/Logic/Statement/Eval.hs
+++ b/lib/Logic/Statement/Eval.hs
@@ -38,7 +38,7 @@ enumerate keys = map reverse $ aux start
         Nothing -> []
         Just (assignments') -> aux assignments'
 
-    start = map (, False) keys
+    start = map (, False) $ reverse keys
 
     next [] = Nothing
     next ((key, False):rest) = Just $ (key, True):rest