large aperture subgroup of aperture, 7 assertions