frozen yogurt subgroup of yogurt, 4 assertions