First, the strongly connected component can no longer be untied.
in A3 we observe that in future iterations the strongly connected component expands further and many more wrong edges are inserted into the graph.