A digraph G = (V, E) with diameter D is said to be s-geodetic, for 1 ≤ s ≤ D, if between any pair of (not necessarily different) vertices x, y ∈ V there is at most one x → y path of length ≤ s. Thus, any loopless digraph is at least 1-geodetic. A similar definition applies for a graph G, but in this case the concept is closely related to its girth g, for then G is s-geodetic with s = b(g − 1)/2...