Interestingly enough, one coauthor of this tutorial who is both a lawyer and

a developer pointed out that in law school, she understood defined terms more

quickly than other law students precisely because of her programming

background.  For developers, having \verb0#define0 (in the C programming

language) or other types of constants and/or macros that automatically expand

in the place where they are used is second nature.  As such, adding a defined

terms section was not terribly problematic for developers, and thus GPLv3

adds one.  Most of these defined terms are somewhat straightforward and bring

forward better worded definitions from GPLv2.  Herein, this tutorial

discusses a few of the new ones.

GPLv3~\S0 includes definitions of four new terms not found in any form in

GPLv2: ``covered work'', ``propagate'', ``convey'', and ``Appropriate Legal

Notices''.

While ``covered by this license'' is a phrase found in GPLv2, defining it

more complete in a single as ``covered work'' enables some of the wording in

GPLv3 to be simpler and clearer than its GPLv2 counterparts.

% FIXME: rewrite propagate 

The term ``propagate'' serves two purposes.  First, ``propagate'' provides

a simple and convenient means for distinguishing between the kinds of