Learn: Theory behind subtree merging.