is valid binary serach tree.