Proved find_subtree_finds_a_subtree. Yay!