diff --git a/goe_rrg_bulk_universality_v2.txt b/goe_rrg_bulk_universality_v2.txt
index b82da87..64c24c5 100644
--- a/goe_rrg_bulk_universality_v2.txt
+++ b/goe_rrg_bulk_universality_v2.txt
@@ -323,6 +323,19 @@ estimates imported from Huang--Yau, and derives the tree identities
 that control the eigenvector covariance and the entropy cost. Only the
 spectral estimates are quoted; everything else here is proved.
 
+\begin{remark}[In plain words]
+Three pieces of background are fixed here once and for all. First, the
+uniform $d$-regular graph is studied through the configuration model:
+$d$ labelled stubs at every vertex, matched uniformly at random, then
+conditioned on producing a simple graph; the conditioning is uniform,
+with probability bounded below. Second, the sharp local spectral
+estimates of Huang--Yau give rigidity, delocalization, and a resolvent
+approximation by the infinite tree value at every height above $S/n$.
+Third, on the infinite $d$-regular tree, boundary values of the resolvent
+give the exact covariance of eigenvector values at nearby vertices; this
+is what makes the Gaussian endpoint marks appear later.
+\end{remark}
+
 \subsection{Microscopic coordinates and resolvents}
 
 For $\Im\zeta>0$ put