binary image subgroup of image, 7 assertions