@@ -3266,12 +3266,13 @@ broadly, GPLv3 is intentionally structured as a unilateral grant
of copyright permissions, the basic operation of which exists outside of any
law of contract. Whether and when a contractual relationship is formed
between licensor and licensee under local law do not necessarily matter to
the working of the license.
\section{GPLv3~\S10: Explicit Downstream License}
\label{GPLv3s10}
% FIXME-LATER: this is a punt: need more time to write!
GPLv3~\S10 ensures that everyone downstream receives licenses from all
copyright holders. It really is a generally straightforward section.