p. 212, tree-sets