chocolate cupcake subgroup of cupcake, 2 assertions