DFS functionally complete, for now