for G1, G2 being _Graph
for G being GraphUnion of G1,G2
for v2 being Vertex of G2
for v being Vertex of G st G1 tolerates G2 & the_Vertices_of G1 misses the_Vertices_of G2 & v = v2 holds
G .reachableFrom v = G2 .reachableFrom v2