diff --git a/microstates_free_entropy_separation_v2.txt b/microstates_free_entropy_separation_v2.txt
index b84208e..997a807 100644
--- a/microstates_free_entropy_separation_v2.txt
+++ b/microstates_free_entropy_separation_v2.txt
@@ -20,7 +20,7 @@ Online (publisher): https://doi.org/10.1007/BF01245072
 Online (publisher): https://doi.org/10.1007/BF01231539
 Online (publisher): https://doi.org/10.1007/s002220050222
 Online (publisher): https://doi.org/10.1112/S0024609301008992
-Local PDF: ./p_guionnet-survey.pdf
+Local PDF: ./pdf/p_guionnet-survey.pdf
 Online: https://www.emis.mi.sanu.ac.rs/EMIS/journals/PS/images/getdoc1af6.pdf?id=48&article=18&mode=pdf
 
 The inequality chi(X) <= chi*(X) holds for every bounded self-adjoint
@@ -36,11 +36,11 @@ approximation.  These hypotheses rule out the geometric obstruction
 exploited below.
 
 Online (publisher): https://doi.org/10.1007/s00222-002-0281-4
-Local PDF: ./p_jekelpi.pdf
+Local PDF: ./pdf/p_jekelpi.pdf
 Online: https://arxiv.org/pdf/2305.02574
-Local PDF: ./p_dabrowski.pdf
+Local PDF: ./pdf/p_dabrowski.pdf
 Online: https://arxiv.org/pdf/1604.06420
-Local PDF: ./p_jekel.pdf
+Local PDF: ./pdf/p_jekel.pdf
 Online: https://arxiv.org/pdf/1805.08814
 
 Finiteness of chi(X) does not force equality.  Jekel and Pi recall
@@ -93,7 +93,7 @@ suitable generating tuples.  That statement varies the tuple inside a
 fixed von Neumann algebra; the construction fixes a tuple and
 compares chi and chi* on it, both finite.
 
-Local PDF: ./p_freegroup.pdf
+Local PDF: ./pdf/p_freegroup.pdf
 
 The quantitative definitions are as follows.  Let m >= 1 be an integer,
 epsilon > 0, R > 0 a cutoff, and d a matrix dimension.  Write
@@ -122,7 +122,7 @@ for every polynomial P.  Put Phi*(Z) = sum_i ||xi_i||_2^2, possibly
 infinite when conjugate variables fail to exist.  That conjugate
 variables are self-adjoint and unique in L^2 is standard.
 
-Local PDF: ./p_nica-speicher.pdf
+Local PDF: ./pdf/p_nica-speicher.pdf
 Online: https://rolandspeicher.files.wordpress.com/2020/06/nica-speicher-book.pdf
 
 Lemma 1 (Variational formula for Phi*).  If Z has conjugate variables
@@ -254,7 +254,7 @@ on noncrossing partitions; vanishing of mixed cumulants between free
 algebras; and that a standard semicircular family has only second
 cumulants, given by its covariance.  All three are in Nica-Speicher.
 
-Local PDF: ./p_nica-speicher.pdf
+Local PDF: ./pdf/p_nica-speicher.pdf
 Online: https://rolandspeicher.files.wordpress.com/2020/06/nica-speicher-book.pdf
 
 Lemma 3 (Wick testing).  Let C be a centered bounded self-adjoint
@@ -416,7 +416,7 @@ with the weak closure of the left algebra, so it is separating for that
 closure and its vector state is faithful and normal.  Faithfulness and
 the semicircular distribution give ||B_i|| = ||S_i|| = 2.
 
-Local PDF: ./p_nica-speicher.pdf
+Local PDF: ./pdf/p_nica-speicher.pdf
 Online: https://rolandspeicher.files.wordpress.com/2020/06/nica-speicher-book.pdf
 
 Lemma 4 (Cumulant bound).  With K = 128 and C as above, for every
@@ -665,7 +665,7 @@ radius delta/2 are disjoint inside the ball of radius 1 + delta/2 of
 real (2 d^2)-dimensional matrix space, giving cardinality at most
 (1 + 2/delta)^{2 d^2}.
 
-Local PDF: ./p_szarek.pdf
+Local PDF: ./pdf/p_szarek.pdf
 Online: https://arxiv.org/pdf/math/9701213
 
 Compression and reduction.  Every decomposition of a fixed rank list
@@ -761,8 +761,8 @@ Ge's prime factor analysis addresses the separate multiplicative
 structure of II_1 factors.  Both are independent of the strict gap
 obtained above.
 
-Local PDF: ./p_freegroup.pdf
-Local PDF: ./p_ge.pdf
+Local PDF: ./pdf/p_freegroup.pdf
+Local PDF: ./pdf/p_ge.pdf
 Online: https://europepmc.org/api/getPdf?pmcid=PMC23993
 
 The bounded self-adjoint tuple X = V_h from the witness construction