LCA
isBST?