diff --git a/poisson_dirichlet_prime_predecessors_v2.txt b/poisson_dirichlet_prime_predecessors_v2.txt
index 68e0dcb..47c1ab1 100644
--- a/poisson_dirichlet_prime_predecessors_v2.txt
+++ b/poisson_dirichlet_prime_predecessors_v2.txt
@@ -394,10 +394,7 @@ relevant moduli, using cancellation rather than PNT-APs. That is
 exactly what the FKL conjecture and Granville's conjecture ask for,
 and it is why the problem remained open for so long.
 
-The rest of the document explains the OpenAI proof of this: how,
-despite the failure of uniform PNT-APs, there is enough structure
-(via "signed sums" and "dilation graphs") to make the error terms
-cancel. That cancellation is the big new idea of the paper.
+
 
 
 ----------------------------------------------------------------------