diff --git a/abelianity_special_kahler_v2.txt b/abelianity_special_kahler_v2.txt
index 8d8a940..c512577 100644
--- a/abelianity_special_kahler_v2.txt
+++ b/abelianity_special_kahler_v2.txt
@@ -1,4 +1,4 @@
-How to read this file. This is a study guide to one research paper: the proof that the fundamental group of every special compact Kähler manifold becomes abelian after a finite cover. It is written for a patient high-school reader. Each block starts with "Exercise:", then a short question, then a self-contained answer. A "Proof:" sketch inside an answer can be skipped on a first read and returned to later. Named results carry a short nickname in parentheses, e.g. "Lemma (Albanese Exactness)"; find the full statement by searching for the same nickname. Most notation is defined at first use; the symbols you will meet first are ℂ and ℤ (complex numbers, integers); π₁(X) (the fundamental group); Ω^p (holomorphic p-forms); K_X (the canonical bundle); κ (Kodaira dimension); m_D (a meridian order); and ⇢ (a meromorphic map -- a fibration that may fail to be holomorphic on a thin set but is holomorphic off it).
+
 
 Exercise: The main theorem. What does the abelianity conjecture say, and is it proven here?
 Campana's abelianity conjecture predicts that the fundamental group of any special compact Kähler manifold has an abelian subgroup of finite index. The paper proves it in full: for every connected smooth compact Kähler manifold X, if X is special, then π₁(X) is virtually abelian. Equivalently, there is a connected finite unramified cover X' → X with π₁(X') abelian. No projectivity, no linearity, no residual finiteness, no prescribed Kodaira dimension is assumed; the finite index and the cover are allowed to depend on X; torsion in π₁(X) is allowed.