Explain reasoning behind IsBinarySearchTree