From 644b1a8719ec72af000bca10ad99654eddb410e6 Mon Sep 17 00:00:00 2001
From: WeeknightMVP <6430915+WeeknightMVP@users.noreply.github.com>
Date: Thu, 31 Oct 2024 18:22:05 +0000
Subject: [PATCH] Update `Suggested Lab Order` in `README.md`

---
 README.md | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 16f2a39b..1e0bae3e 100644
--- a/README.md
+++ b/README.md
@@ -126,12 +126,14 @@ first lab walks you through [installing and running Cryptol](INSTALL.md).
     * [Continuous Reasoning with SAW](./labs/SAW/SAW.md): Learn how to
       use Python to drive SAW and enforce formal invariants on
       cryptographic implementations at every check-in to a repository.
-8. [Methods for Key Wrapping](./labs/KeyWrapping/KeyWrapping.md):
-   Create a Cryptol specification of NIST's [SP800-38F key wrap
-   standard](https://csrc.nist.gov/publications/detail/sp/800-38f/final).
-    * [Parameterized Modules: Simon and Speck](./labs/SimonSpeck/SimonSpeck.md):
-      Learn about Cryptol's parameterized modules by creating a
-      Cryptol specification of NSA's Speck block cipher.
+8. [Module System](./labs/ModuleSystem.md):
+   Parameterize modules to reuse cores of related specifications.
+    * [Parameterized Modules: Simon and Speck](./SimonSpeck/SimonSpeck.md)
+      Cut your teeth on Cryptol modules with the Simon/Speck family of
+      related block ciphers.
+    * [New Module System: Block Cipher Modes](./NewModuleSystem/NewModuleSystem.md)
+      Unleash the full power of Cryptol 3's new module system on
+      modes of operation for any compatible block cipher.
 9. [Capstone: Putting it all together](./labs/LoremIpsum/LoremIpsum.md):
    Use components and techniques from other labs to decrypt a series
    of secret messages by feeding wrapped keys into the anomalous KLI20