+BinaryTree proj