But I've also tried to sew some seeds of doubt that it's not an all clear if at this point if Dijkstra's algorithm is always clear correct or not even if you have non-negative edge lengths and certainly if it is always correct there better be a fool proof argument to why. 