good topic subgroup of topic, 1 assertions