red squirrel subgroup of squirrel, 7 assertions