red grouper subgroup of grouper, 2 assertions