Next: fv, Previous: pr, Up: Predicate Rules
Identity asserts that any variable is identical to itself.
Identity does not use any references.