self image subgroup of image, 2 assertions