storage box subgroup of box, 4 assertions