Progressing BFS