hereditary peer subgroup of peer, 2 assertions