BinaryTrees,and sets