Next: , Previous: ei, Up: Predicate Rules


6.3.5 Variable Substitution