diff --git a/nearby_lagrangian_counterexample_v2.txt b/nearby_lagrangian_counterexample_v2.txt
index 3bc2543..d04d435 100644
--- a/nearby_lagrangian_counterexample_v2.txt
+++ b/nearby_lagrangian_counterexample_v2.txt
@@ -177,7 +177,7 @@ SECTION 1. BACKGROUND: COTANGENT BUNDLES, LAGRANGIANS, ISOTOPY
             nondegenerate critical point above each base point; restricting
             to the slice gives a family contradicting step (2).
 
-    The rest of the document proves each piece and then assembles.
+
 
 ==============================================================================
 SECTION 2. THE MAIN THEOREM