is valid BST'