arrows show child -> parent relationship (c depends on p)