A diagram of the system that is labeled with the diagram of the system