for G being _Graph
for v being Vertex of G
for e being object st v is endvertex holds
not e Joins v,v,G