Previous: ii, Up: Predicate Rules
Free variable allows the user to substitute a free variable for another free variable, given that the two are identical.