plastic box subgroup of box, 2 assertions