This subtree is correct.