main sequence star subgroup of star, 3 assertions