Identity Type
Backlinks
Equality Reflection
Identity Relation
Effective Quotient