Figure 10:
Tracing the changes to the state spaces, classes, and methods.
