Note that the terms h 1 (ξ) and h 1 (α) are equivalent in that they denote the same function over the string algebra, and so are the terms h 2 (ξ) and h 2 (α).
replacing the α-rule by the rules in Fig.