binary tree subgroup of tree, 11 assertions