vanilla cupcake subgroup of cupcake, 2 assertions