box turtle subgroup of turtle, 2 assertions