diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
index e6eb6154..ecfd6654 100644
--- a/book/src/SUMMARY.md
+++ b/book/src/SUMMARY.md
@@ -14,9 +14,9 @@
   - [Tips and tricks](user/tips-and-tricks.md)
 - [Design](design.md)
   - [Proving system](design/proving-system.md)
-    - [Multipoint opening argument](design/proving-system/multipoint-opening.md)
-    - [Permutation argument](design/proving-system/permutation.md)
     - [Lookup argument](design/proving-system/lookup-argument.md)
+    - [Permutation argument](design/proving-system/permutation.md)
+    - [Multipoint opening argument](design/proving-system/multipoint-opening.md)
     - [Comparison to other work](design/proving-system/comparison.md)
   - [Implementation](design/implementation.md)
   - [Gadgets](design/gadgets.md)