diff --git a/kaplansky_direct_finite_char2_v2.txt b/kaplansky_direct_finite_char2_v2.txt
index e76cb65..3ed58cc 100644
--- a/kaplansky_direct_finite_char2_v2.txt
+++ b/kaplansky_direct_finite_char2_v2.txt
@@ -1391,22 +1391,7 @@ The group U is nonsofic and nonsurjunctive.
 END OF COMPANION VERSION
 ================================================================================
 
-If you have read this far, you have seen:
-
-  - The Kaplansky direct-finiteness conjecture (PART I).
-  - The exact statement of the counterexample and its two
-    consequences, nonsoficity and nonsurjunctivity (PART II).
-  - The ten steps of the proof in outline (PART III).
-  - The vocabulary of the paper, in plain terms (PART IV).
-  - The abstract and conventions of the original (PART V).
-  - Six small exercises you can do by hand (PART VI).
-  - Why this matters in context (PART VII).
-  - An index of every named result (PART VIII).
-  - Every result, verbatim (PART IX).
-
-The precise order in which you might want to read the extras is:
-PART III first, then PART VI (with pencil), then skim PART IV as
-needed, and use PART IX as a reference when you want to look up the
-exact form of a lemma. Good luck; this is genuinely hard mathematics
-and there is no shame in taking several days.
+
+
+