From 643e6ba37c958b49c10d883c1e8749ce706ddeef Mon Sep 17 00:00:00 2001
From: Damian Straszak <damian.straszak@gmail.com>
Date: Mon, 19 Feb 2024 21:28:18 +0100
Subject: [PATCH] Make docs consistent with code example.

---
 book/src/user/simple-example.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/book/src/user/simple-example.md b/book/src/user/simple-example.md
index fecf518f..89d74e21 100644
--- a/book/src/user/simple-example.md
+++ b/book/src/user/simple-example.md
@@ -4,7 +4,9 @@ Let's start with a simple circuit, to introduce you to the common APIs and how t
 used. The circuit will take a public input $c$, and will prove knowledge of two private
 inputs $a$ and $b$ such that
 
-$$a^2 \cdot b^2 = c.$$
+$$a^2 \cdot b^2 \cdot \mathrm{constant} = c,$$
+
+where $\mathrm{constant}$ is a fixed number (field element), such as $\mathrm{constant} = 7.$
 
 ## Define instructions