Figure 2: Transformation by two recursive searching rules.