diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 57413219730fc335119c60ffc255fb96041d3c6c..4f1586c1595cc03f6b39bc7bb7a979574d571d54 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -2160,7 +2160,8 @@ GPLv2~\S4 is GPLv2's termination clause.  Upon first examination, it seems
 strange that a license with the goal of defending users' and programmers'
 freedoms for perpetuity in an irrevocable way would have such a clause.
 However, upon further examination, the difference between irrevocability
-and this termination clause becomes clear.
+and this termination clause becomes clear. (See~\ref{gplv2-irrevocable} for
+expanded discussion of GPLv2 irrevocability.)
 
 The GPL is irrevocable in the sense that once a copyright holder grants
 rights for someone to copy, modify and redistribute the software under terms
@@ -2321,7 +2322,10 @@ rights\footnote{While nearly all attorneys and copyleft theorists are in
   decade, regard an almost moot and wholly esoteric legal detail.}.
 
 \section{GPLv2 Irrevocability}
+\label{gplv2-irrevocable}
 
+This section digresses briefly to examine the manner in which GPLv2\S\S~4--6
+interact together to assure that the license grant is irrevocable.
 There are two legal theories why a contributor cannot terminate their license
 grant. First is an argument that the text of the GPL prevents it; second is
 that a contributor would be estopped from succeeding on an infringement claim