diff --git a/nearby_lagrangian_counterexample_v2.txt b/nearby_lagrangian_counterexample_v2.txt
index 2f84327..e80aaec 100644
--- a/nearby_lagrangian_counterexample_v2.txt
+++ b/nearby_lagrangian_counterexample_v2.txt
@@ -33,9 +33,7 @@ What this document is.
     "smooth" map is infinitely differentiable. "Closed" always means compact
     without boundary. We flag intuition boxes like this one as needed.
 
-    This is a research-level proof. High school readers should read the
-    intuition paragraphs and the boxed ideas; the technical lemmas can be
-    taken as read on a first pass. Nothing is hidden: every step is proved.
+