Could you expand this a bit to talk a bit about the implementation and semantics of the tree? It looks like there's a comment above which may be able to move into this doc-comment.