We can now verify the tree (kind of?)