And then the property holds, but then your queue at a time is order of n, and what you really want is small labels, and it turns out that some graphs have more labels, and the reason why this works well in road networks is that we can compute labels for, say, the graph of Western Europe with about 18 million vertices. 