The diagram is extensively documented, including visible terminal labels, free labels on long wires and within each structure, and enumerated case selectors.