That means that neighbors which satisfy this condition are guaranteed to be on a loop-free path to some destination, however, there may be also other neighbors on a loop-free path which do not satisfy this condition.
Тоа значи дека соседите кои го задоволуаат овој услов гарантирано се наоѓаат на патека која е ослободена од јамки за таа дестинација, меѓутоа исто така може да постојат други соседи кои се наоѓаат на патека ослободена од јамки и кои не го задоволуваат овој услов.