finish validate bst
finish pascal