laboratory mouse subgroup of mouse, 2 assertions