Start Gato and load the algorithm BFS-components.alg from the directory 02-Graphs and Networks. Do not forget to load a graph as well, we suggest to explore 3Components.cat. You will find it and other examples in the same directory. Now you can follow the algorithm step by step or explore its dynamics. After having defined the algorithm above we should convince ourselves of its correctness. Therefore, we need to prove that it computes the connected components. Furthermore we should analyze its running time behavior.