BST properties