diff --git a/README.org b/README.org
index 535e9ec..47b1eb3 100644
--- a/README.org
+++ b/README.org
@@ -62,14 +62,12 @@ interaction with Org-mode.
     4. =networks=
     5. =rs=
 
-    This is how I will convert a module =A=:
-
-    1. Create a copy =A-untyped.rkt=.
-    2. Empty =A.rkt=.
-    3. Transfer the definitions from =A-untyped.rkt= to =A.rkt= one by
-       one, adding the necessary types, signatures, and typed imports
-       as I go.
-    4. When done, remove =A-untyped.rkt=.
+    I will convert the modules one by one by first creating a typed
+    section (a submodule) and re-exporting its functions together with
+    the untyped functions.  I will then move the functions one by one
+    from the untyped section to the typed section.  When the untyped
+    section is empty, I will convert the language of the entire module
+    to Typed Racket and remove the submodule.
 
 *** TODO Implement a shorter syntax for defining Boolean functions
     Right now, this is how one defines the Boolean function: