From 67b6d197aa25c8b660f9af3af14061dd4f670c0c Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Fri, 12 Feb 2021 15:18:12 +0000
Subject: [PATCH] book: Tweak wording for proving system stage 1 commitments

---
 book/src/design/proving-system.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/book/src/design/proving-system.md b/book/src/design/proving-system.md
index 8cc801f..46be339 100644
--- a/book/src/design/proving-system.md
+++ b/book/src/design/proving-system.md
@@ -4,9 +4,8 @@ The Halo 2 proving system can be broken down into five stages:
 
 1. Commit to polynomials encoding the main components of the circuit:
    - Cell assignments.
-   - Permuted values for each lookup argument.
+   - Permuted values and products for each lookup argument.
    - Equality constraint permutations.
-   - Products for each lookup argument.
 2. Construct the vanishing argument to constrain all circuit relations to zero:
    - Standard and custom gates.
    - Lookup argument rules.