bright star subgroup of star, 40 assertions