regular ice cream subgroup of ice cream, 1 assertions