moving to more lensy traversals