extra tuple lenses