 These vertex types form two disjunctive sets.The edges of the graph link the O and M vertices.An edge from an operation vertex (O) connects to a material vertex (M) if M is the output of O, such as a 'document' (material) that is output by a 'write-up' (operation).