chocolate ice cream subgroup of ice cream, 2 assertions