¹Strictly speaking, the trees we’ll mention here are rooted trees.