heavy pruning subgroup of pruning, 2 assertions