smooth collie subgroup of collie, 1 assertions