Next:
fv
, Previous:
pr
, Up:
Predicate Rules
6.3.8 Identity
———–
a = a
Assert that any variable is identical to itself.