Figure 6.6 XNF example