proved all bst examples using k rev 5cc33efe