>From 5f48dee82bc111b21f3610893e3b788e37396bce Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 20 Feb 2019 15:17:59 -0800
Subject: [PROPOSED] * theory.html: Decouple timezones from countries earlier.

---
 theory.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/theory.html b/theory.html
index 1b06720..e373022 100644
--- a/theory.html
+++ b/theory.html
@@ -142,10 +142,12 @@ among the following goals:
   </li>
   <li>
     Be robust in the presence of political changes.
-    For example, names of countries are ordinarily not used, to avoid
+    For example, names are typically not tied to countries, to avoid
     incompatibilities when countries change their name (e.g.,
-    Zaire&rarr;Congo) or when locations change countries (e.g., Hong
+    Swaziland&rarr;Eswatini) or when locations change countries (e.g., Hong
     Kong from UK colony to China).
+    There is no requirement that every country or national
+    capital must have a timezone name.
   </li>
   <li>
     Be portable to a wide variety of implementations.
-- 
2.20.1