subarborescence
not defined yet