phylogenetic tree subgroup of tree, 2 assertions