hmm i've looked up a little more and found a possible reason why the second condition is often left out you can use a less efficient version of a that always finds the correct path without that condition however the usually stated algorithm requires both conditions these notes describe both algorithms and call the second condition monotonic dec utc