diff --git a/semialgebraic_universal_covers_v2.txt b/semialgebraic_universal_covers_v2.txt
index 6a6983f..848e312 100644
--- a/semialgebraic_universal_covers_v2.txt
+++ b/semialgebraic_universal_covers_v2.txt
@@ -1,21 +1,9 @@
 KOLLAR-PARDON THEOREM: THE COMPLETE PROOF
 ==========================================
 
-This is a self-contained ASCII exposition of the Kollar-Pardon
-classification of semialgebraic universal covers. It follows the full
-proof, not just a summary. The level is what a good high school
-student who is willing to think carefully can absorb: every key step
-is motivated and explained, and every citation points to where the
-technical lemma is proved.
 
-The reference source is the LaTeX article in this directory:
 
-  semialgebraic_universal_covers_original.txt
 
-That file is a concatenation of main.tex, sections/*.tex,
-figures/proof-overview.tex, and references.bib. When this file cites
-`see [X]` or `[X]` or `Section X of the original`, X is the LaTeX
-label used there (e.g. win:construction, loc:theorem, cmp:product).
 
 
 (0) WHAT IS BEING PROVED