Examine closely the justification for why Dijkstra's algorithm works correctly and note the place where it breaks if negative-weight edges.