“…Definition 4. (adapted from [1]) A pair of edges ( p, a, q , r, b, s ) is weakly proper iff p ∈ I A , r f q, r f s, and b = 1, 3 and a pair of supergraphs (g = x, g , h = y, h ) is weakly proper when (x, y) is weakly proper. Supergraphs g, h pass the relaxed double graph test, denoted RDGT(g, h), iff whenever (g, h) is weakly proper, then LFT(g, h).…”