frozen berry subgroup of berry, 3 assertions