A Diagram is a Trivial Machine