update docs

1 files changed, 7 insertions, 1 deletions

diff --git a/docs/object-taxonomy.org b/docs/object-taxonomy.org
index d948845..dda3de3 100644
--- a/docs/object-taxonomy.org
+++ b/docs/object-taxonomy.org
@@ -21,7 +21,9 @@ may remain invariant while the extension differs between the earlier
 and later states.
 
 A branch identifies one such coherent state and provides the basis
-from which another may be produced. It therefore gives RNT a
+from which another may be produced. Each state names the one it
+succeeded, under =previous=, so the history of a branch is reached by
+path. It therefore gives RNT a
 representation of change without requiring mutation to be part of the
 relational semantics. How successive states are physically
 represented, shared, or persisted is an implementation concern.
@@ -253,6 +255,10 @@ state exposed through a branch. A branch may reference multiple
 multigroups and determine the particular state of each that is visible
 from that view of the world.
 
+Within a multigroup, relations are grouped into schemas, which for now
+are only namespaces: \multigroup\[m]\schema\[s]\relation\[r]. The
+canonical name of an attribute is therefore =m:s:r:a=.
+
 * Session
 A session contains state specific to an interaction between a client
 environment and the RNT kernel. It establishes the execution context