Figure 7: Optimization (reduction) of number of states.