wide aperture subgroup of aperture, 3 assertions