locally finite rooted tree