That makes sense, since it’s not the recursion that’s interesting per se, its the graph traversal. Maybe SelectTraversal? Since we’re being declarative