use the traversal cache