for G being _Graph
for v1, v2 being Vertex of G st v1 is isolated & v1 <> v2 holds
not v2 in G .reachableFrom v1