--- social-contract.org.orig	2020-01-02 13:10:29.360557593 +0100
+++ social-contract.org	2020-01-02 13:29:38.764604876 +0100
@@ -1,28 +1,23 @@
 GNU Social Contract
 
-This document states the core commitments of the GNU Project to the
-broader free software community.
-
-The purpose of the GNU Project is to provide software and systems that
+These are the core commitments of the GNU Project to the broader free
+software community.  The GNU Project provides a software system that
 respect users' freedoms.
 
 * The GNU Project respects users' freedoms
 
-The GNU Project provides software that guarantees to users the
+The GNU Project provides software that guarantees to all users the
 /Four Essential Freedoms/, without compromise:
   0. The freedom to run the program as they wish, for any purpose.
   1. The freedom to study how the program works, and change it so it does
      their computing as they wish.
   2. The freedom to redistribute copies so they can help others.
   3. The freedom to distribute copies of their modified versions to others.
-     By doing this they can give the whole community a chance to benefit
-     from their changes.
-Access to the source code is a precondition for this.
-
-Unless the GNU Project deems that a different choice furthers the advancement
-of free software, all software written by the GNU Project is distributed
-under /copyleft licenses/, designed to ensure that developers cannot strip off
-users' freedom from GNU software.
+
+The GNU Project adopts policies that encourage and enable developers
+to actively defend user freedom.  These policies include using
+/copyleft licenses/, designed to ensure that users’ freedoms cannot be
+stripped off, when appropriate.
 
 Besides upholding the Four Essential Freedoms, the GNU Project pays attention
 and responds to new threats to users' freedom as they arise.
@@ -33,13 +28,12 @@
 The GNU Project develops an operating system, the /GNU System/, as well as
 a set of applications.  Each software component developed by the GNU Project
 is referred to as a /GNU package/.  GNU package developers work together to
-ensure consistency across packages.  GNU packages should follow the design
-and development guidelines of the GNU Project.
+ensure consistency across packages.
 
 
 * The GNU Project collaborates with the broader free software community
 
-Free software has extended beyond the GNU Project, which works with
+Free software extends beyond the GNU Project, which works with
 companion free software projects that develop key components of the
 GNU System.  The GNU Project aims to extend the reach of free software
 to new fields.