We use UML to diagram objects. UML is fully described in [10]. Although the diagram in Figure 5.2 is technically a class diagram, for our purposes we will view it simply as the induced object.