⁶Except for the case of conditional rules, where such extra variables may be introduced in matching or rewriting conditions (see Chapter 4). But conditional rules have been excluded from the present narrowing implementation, as explained in Section 16.3.