x-the_graph- > *y
z:Vertices(the_graph). 
z = x & x-the_graph- > z & z-the_graph- > *y x-the_graph- > *y
x,y:Vertices(the_graph). Dec(x = y)
(z:Vertices(the_graph). z = x & x-the_graph- > z & z-the_graph- > *y)
x-the_graph- > *y
| 1 | 5. x = y x-the_graph- > *y | 1 step |
| 2 | 5. z:Vertices(the_graph). z = x & x-the_graph- > z & z-the_graph- > *y x-the_graph- > *y | 1 step |
About:
 |  |  |  |  |  |