¹¹Except for the case of conditional rules, where such extra variables may be introduced in matching or rewrite conditions (see Chapter 4); but conditional rules have been excluded from the present narrowing implementation, as explained in Section 15.5.