Necessary (red) and optional (grey) elements of a graph
Image Credit: F. Becker