cat theory tweaks

[lambda.git] / implementing_trees.mdwn

diff --git a/implementing_trees.mdwn b/implementing_trees.mdwn
index f3d076e..c428228 100644 (file)
--- a/implementing_trees.mdwn
+++ b/implementing_trees.mdwn
@@ -20,10 +20,10 @@ the tree's leaves that are labeled:
         / \
        1   2 
 
         / \
        1   2 
 

-The inner, non-leaf nodes of the
-tree do have associated values. But what values they are can be determined from
-the structure of the tree and the values of the node's left and right children.
-So the inner node doesn't need its own independent label.
+The inner, non-leaf nodes of the tree may have associated values. But if so,
+what values they are will be determinable from the structure of the tree and the
+values of the node's left and right children. So the inner nodes don't need
+their own independent labels.

 
 In another sort of tree, the tree's inner nodes are also labeled:
 
 
 In another sort of tree, the tree's inner nodes are also labeled: