Figure 3: Index system after reduction.