Graph entities get unique and useful names, topological sorting works, and graph cycles are visually indicated.