But from reading the first bit of the paper I think they are talking about something stronger, not any bijection but one that only requires inspecting and manip

But from reading the first bit of the paper I think they are talking about something stronger, not any bijection but one that only requires inspecting and manipulating a bounded number of layers of the trees.