7Except 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 16.2.