Figure 4: (4) is the code of the case