new comet subgroup of comet, 1 assertions