Previous: ii, Up: Predicate Rules [Contents]
Free Variable allows the user to substitute a free variable for another free variable, given that the two are identical.
Free Variable uses exactly two references.