and again, that's the shortest path we've seen so far, we are not going to find a shorter one cuz to get to every other vertex is longer. and so, we know it's on the shortest paths tree, and now we're going to relax all the edges pointing from seven.