Here we see that indeed each function in the ADT_list subsystem uses the internal structure of the list datatype. These relationships are represented by the yellow arcs from each of the functions to the list datatype.
