a lens and a traversal