Ordered Directed Graphs
lWe use the adjective ordered to indicate that the order of targets of a node matters.
lThis property is implicit with trees much of the time.
lBecause we are going to represent trees by lists, we can have ordering for free if we want it.