\begin{titlepage}

\begin{center}

{\Huge

{\sc Copyleft and the  \\

GNU General Public License:

\vspace{.25in}

A Comprehensive Tutorial \\

\vspace{.1in}

and Guide

}}

\vfill

{\parindent 0in

\begin{tabbing}

Copyright \= \copyright{} 2003--2005, 2008, 2014--2015, 2018 \hspace{1.mm} \=  \kill

Copyright \> \copyright{} 2018 \>  Chestek Legal. \\

Copyright \> \copyright{} 2014--2015 \>  Anthony K. Sebro, Jr. \\

Copyright \= \copyright{} 2014 \> Denver Gingerich. \\

Copyright \= \copyright{} 2003--2007, 2014 \>  Free Software Foundation, Inc. \\

Copyright \> \copyright{} 2008, 2014 \>  Software Freedom Law Center. \\

\end{tabbing}

\vspace{.3in}

The copyright holders grant the freedom to copy, modify, convey,

adapt, and/or redistribute this work (except

Appendices~\ref{GPLv2-full-text}--\ref{AGPLv3-full-text}) under the terms of the Creative Commons

Attribution Share Alike 4.0 International License.  A copy of that license is

available at \url{https://creativecommons.org/licenses/by-sa/4.0/legalcode}.

Appendices~\ref{GPLv2-full-text}--\ref{AGPLv3-full-text} include copies of the texts of various licenses published

by the FSF, and they are all licensed under the license, ``Everyone is permitted

to copy and distribute verbatim copies of this license document, but changing

it is not allowed.''.  However, those who seek to make modified versions of

those licenses should note the

\href{https://www.gnu.org/licenses/gpl-faq.html#ModifyGPL}{explanation given in the GPL FAQ}.

\vfill

As a public, collaborative project, this Guide is primarily composed of the

\compB{} can benefit from Company \compA's implied patent license, is if it,

itself, distributes Company \compA's software program and grants an

implied patent license to any of its patents that cover that program.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\chapter{Defending Freedom on Many Fronts}

Chapters~\ref{run-and-verbatim} and~\ref{source-and-binary} presented the

core freedom-defending provisions of GPLv2\@, which are in GPLv2~\S\S0--3.

GPLv2\S\S~4--7 of the GPLv2 are designed to ensure that GPLv2~\S\S0--3 are

not infringed, are enforceable, are kept to the confines of copyright law but

also not trumped by other copyright agreements or components of other

entirely separate legal systems.  In short, while GPLv2~\S\S0--3 are the parts

of the license that defend the freedoms of users and programmers,

GPLv2~\S\S4--7 are the parts of the license that keep the playing field clear

so that \S\S~0--3 can do their jobs.

\section{GPLv2~\S4: Termination on Violation}

\label{GPLv2s4}

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

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

of the GPL, they cannot later revoke that grant.  Since the GPL has no

provision allowing the copyright holder to take such a prerogative, the

license is granted as long as the copyright remains in effect.\footnote{In

  the USA, due to unfortunate legislation, the length of copyright is nearly

  perpetual, even though the Constitution forbids perpetual copyright.} The

copyright holders have the right to relicense the same work under different

licenses (see Section~\ref{Proprietary Relicensing} of this tutorial), or to

stop distributing the GPLv2'd version (assuming GPLv2~\S3(b) was never used),

but they may not revoke the rights under GPLv2 already granted.

In fact, when an entity loses their right to copy, modify and distribute

GPL'd software, it is because of their \emph{own actions}, not that of the

copyright holder.  The copyright holder does not decide when GPLv2~\S4

termination occurs (if ever); rather, the actions of the licensee determine

that.

Under copyright law, the GPL has granted various rights and freedoms to

the licensee to perform specific types of copying, modification, and

redistribution.  By default, all other types of copying, modification, and

redistribution are prohibited.  GPLv2~\S4 says that if you undertake any of

those other types (e.g., redistributing binary-only in violation of GPLv2~\S3),

licensed rights are not dependent on compliance of their upstream, because

their licenses issue directly from the copyright holder.  Second, automatic

termination cannot be cured by obtaining additional copies from an alternate

supplier: the license permissions emanate only from the original licensors,

and if they have automatically terminated permission, no act by any

intermediate license holder can restore those terminated

rights\footnote{While nearly all attorneys and copyleft theorists are in

  agreement on this point, German copyleft legal expert

  \href{http://www.jbb.de/en/attorneys/till-jaeger/}{Till Jaeger}

  vehemently disagrees.  Jaeger's position is as follows: under German

  copyright law, a new copy of GPL'd software is a ``fresh'' license under

  GPL, and if compliance continues from that point further, the violator's

  permissions under copyright law are automatically restored, notwithstanding

  the strict termination provision in \hyperref[GPLv2s4]{GPLv2~\S4}.

  However, in

  practice, this issue is only salient with regard to \hyperref[Proprietary

    Relicensing]{proprietary relicensing} business models, since other copyright

  holders typically formally restore distributions rights once the only

  remaining compliance issue is ``you lost copyright permission due to

  GPLv2~\S4''.  Therefore, the heated debates, which have raged between

  Jaeger and almost everyone else in the copyleft community for nearly a

  decade, regard an almost moot and wholly esoteric legal detail.}.

\section{GPLv2 Irrevocability}

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

for continued use of the code even if it wasn't removed.

\subsection{The text of the GPLv2}

The GPLv2 have several provisions that, when taken together, can be construed

as an irrevocable license from each contributor. First, the GPLv2 says ``by

\emph{modifying} or distributing the Program (or any work based on the Program), you

indicate your acceptance of this License to do so, and all its terms and

conditions for copying, distributing or modifying the Program or works based

on it'' (GPLv2\S5, emphasis added).  A contributor by definition is modifying

the code and therefore has agreed to all the terms in the GPLv2, which

includes the web of mechanisms in the GPLv2 that ensure the code can be used

by all.

More specifically, the downstream license grant says ``the recipient

automatically receives a license from the original licensor to copy,

distribute or modify the Program subject to these terms and conditions.''

(GPLv2\S6). So in this step, the contributor has granted a license to the

downstream, on the condition that the downstream complies with the license

terms.