BFS Reasoning

Breadth-First Search