diff --git a/lisp/lisp.rs b/lisp/lisp.rs
index 417d2d078..549652769 100644
--- a/lisp/lisp.rs
+++ b/lisp/lisp.rs
@@ -277,7 +277,8 @@ fn eval(mut ast: MalVal, mut env: Env) -> MalRet {
                         let value = eval_ast(&a2, &env)?;
                         match value {
                             List(ref el, _)  => {
-                                zkcons_eval(el.to_vec(), &a1, &env);
+                                println!("{:?}", el);
+                              //zkcons_eval(el.to_vec(), &a1, &env);
                             }
                             _ => println!("invalid format"),
                         }
diff --git a/lisp/new.lisp b/lisp/new.lisp
index 67fe8a793..adfb40d4a 100644
--- a/lisp/new.lisp
+++ b/lisp/new.lisp
@@ -9,12 +9,19 @@
 ;;                    (sub lc0 x)
 ;;                    )
 ;;              )
-    (zkcons! circuit (map (fn* [b] (
+    (map (fn* [b] (
+                    (zkcons! circuit (
                     (add lc0 one) 
                     (sub lc0 b)
-                    (add lc1 x)
+                    (add lc1 x))
 ;;                    'enforce)
-              )) bits))
+              ))) bits)
+;;    (zkcons! circuit (map (fn* [b] (
+;;                    (add lc0 one) 
+;;                    (sub lc0 b)
+;;                    (add lc1 x)
+;;                    'enforce)
+;;              )) bits))
 ;;    (def! enforce-loop-const (map (fn* [b] (
 ;;                    (add lc0 one) 
 ;;                    (sub lc0 b)