Next:
nq
, Previous:
ei
, Up:
Predicate Rules
6.3.5 Variable Substitution