From c23a14137f37f19227ad75c9b0bde750ebca78d0 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 26 Jun 2018 13:36:41 -0700
Subject: [PROPOSED 2/2] * theory.html: Discuss what Rules represent.

---
 theory.html | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/theory.html b/theory.html
index 50c62f7..7ff6fc4 100644
--- a/theory.html
+++ b/theory.html
@@ -669,6 +669,11 @@ href="https://www.dissentmagazine.org/blog/booked-a-global-history-of-time-vanes
     way to specify Easter, these exceptional years are entered as
     separate <code><abbr>tz</abbr> Rule</code> lines, even though the
     legal rules did not change.
+    When transitions are known but the historical rules behind them are not,
+    the database contains <code>Zone</code> and <code>Rule</code>
+    entries that are intended to represent only the generated
+    transitions, not any underlying historical rules; however, this
+    intent is recorded at best only in commentary.
   </li>
   <li>
     The <code><abbr>tz</abbr></code> database models pre-standard time
-- 
2.7.4