• p1 Example 1: Rule 3 should be removed from R, and t2 must be h(f,a,a).