Analyzing BSTs