I feel like the most common definition of a BST has all of the left nodes <= the root node and all right nodes > the root node (ascending order). Allowing descending order BSTs is a nice twist but I think it should be mentioned in the instructions.