small aperture subgroup of aperture, 2 assertions