Figure 2: Thread exiting object on the left and entering object on the right (that is, traversing a join point).