finish <tree-set> impl