new combination subgroup of combination, 1 assertions