diff --git a/pixton_completeness_counterexample_v2.txt b/pixton_completeness_counterexample_v2.txt
index 5029f59..d33329a 100644
--- a/pixton_completeness_counterexample_v2.txt
+++ b/pixton_completeness_counterexample_v2.txt
@@ -1,41 +1,8 @@
 PIXTON COMPLETENESS: A COUNTEREXAMPLE
 =====================================
-A rewrite for curious high school readers
-
-This is a rewrite of the research paper
-"A high-arity counterexample to Pixton completeness in Chow"
-by OpenAI (2026). The mathematics is unchanged: every theorem,
-proposition, and lemma is preserved with the same hypotheses
-and the same conclusions. What changed is the exposition. We
-add plain-language introductions, expand symbols the first time
-they appear, add examples where examples help, and strip out
-redundancy in the prose.
-
-The goal: a high school student who is comfortable with high
-school algebra, and open to learning a few new words (genus,
-moduli, Chow group), should be able to read this whole thing
-and come out understanding what the question was, what the
-answer is, and roughly how the proof works. We do not pretend
-the paper is elementary. Some sections still require real
-mathematical work. But nothing requires graduate-school
-background.
-
-How to read it. If you find yourself stuck deep in Part 4 or
-Part 5, skip forward to the glossary at the very end and read
-onward. Every part begins with a plain-English explanation of
-what that part is trying to do; those intro bits are
-self-contained.
-
-Contents:
-  Part 0  Why you might care
-  Part 1  Background: curves, moduli, and tautological classes
-  Part 2  The main theorem
-  Part 3  The class Y
-  Part 4  Why Y is not in the Pixton span: the formal detector
-  Part 5  Why Y vanishes in Chow: the surface relation
-  Part 6  Compactification and the last stretch of the proof
-  Part 7  What this changes in the field
-  Glossary
+
+
+
 
 
 =====================================================
@@ -3114,19 +3081,7 @@ zeta_v (parity variable) (*)
 END
 =====================================================
 
-This is a plain-text rewrite of
-"A high-arity counterexample to Pixton completeness in Chow"
-by OpenAI (2026). If you want the full formal proofs
-(the original paper's exact formulas, all numbered equations,
-and every citation), read the original. This version is
-meant as a companion text: it tells you what the theorem
-is, why it matters, and how the two branches of the proof
-fit together, without asking you to memorize the entire
-apparatus.
-
-If you are a high-school student and you made it this far:
-congratulations. You have read through the outline of a
-genuine research paper in contemporary algebraic geometry.
+
 The mathematics of the actual paper is much denser, but the
 ideas you just absorbed -- formal vs geometric, kernel vs
 generators, support induction, faithful tensor tests -- are