bran muffin subgroup of muffin, 1 assertions