A bar framework (G, p) in dimension r is a graph G whose nodes are points p 1 , . . . , p n in R r and whose edges are line segments between pairs of these points. Two frameworks (G, p) and (G, q) are equivalent if each edge of (G, p) has the same (Euclidean) length as the corresponding edge of (G, q). A pair of nonadjacent vertices i and j of (G, p) is universally linked if ||p i − p j || = ||q i − q j || in every framework (G, q) that is equivalent to (G, p). Framework (G, p) is universally rigid iff every pair of non-adjacent vertices of (G, p) is universally linked.