use pp2r() in Example 8