[[learn treesearch]]