diff --git a/lisp/jubjub-add.lisp b/lisp/jubjub-add.lisp
index 3268c31d9..3a79a675f 100644
--- a/lisp/jubjub-add.lisp
+++ b/lisp/jubjub-add.lisp
@@ -2,7 +2,7 @@
 ;; Compute U = (u1 + v1) * (v2 - EDWARDS_A*u2)
 ;;           = (u1 + v1) * (u2 + v2)
 ( (let* [
-      EDWARDS_A (scalar "73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000000")
+      EDWARDS_D (scalar "2a9318e74bfa2b48f5fd9207e6bd7fd4292d7f6d37579d2601065fd6d6343eb1")
       u1 (alloc "u1" (scalar "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e"))
       v1 (alloc "v1" (scalar "015d8c7f5b43fe33f7891142c001d9251f3abeeb98fad3e87b0dc53c4ebf1891"))
       u2 (alloc "u2" (scalar "15a36d1f0f390d8852a35a8c1908dd87a361ee3fd48fdf77b9819dc82d90607e"))
@@ -10,7 +10,7 @@
       U (alloc-input "U" (* (+ u1 u2) (+ v1 v2)))
       A (alloc-input "A" (* v2 u1))
       B (alloc-input "B" (* u2 v1))
-      C (alloc-input "C" (* EDWARDS_A (* A B)))
+      C (alloc-input "C" (* EDWARDS_D (* A B)))
       ]
 (prove
  (setup 
@@ -26,9 +26,14 @@
     )
     (scalar::one U)
   )
+  (enforce
+    (EDWARDS_D A)
+    (scalar::one B)
+    (scalar::one C)
   )
   )
  )
 )
 )
+ )
 ;; (println 'verify  (MyCircuit (scalar 27)))