What's the value of `tree` here, and how is it different from `Annotation(ann, arg1)`? Every single time I forget how annotated trees work.