6.3.8 Identity

• ——–
• a = a

Identity asserts that any variable is identical to itself.

Identity does not use any references.