finished leftist tree, need to test