maximum aperture subgroup of aperture, 4 assertions