post: abstractions over tree