Justification

Self-identity and Leibniz's Law are standardly characteristic of identity. for = and term conjunction IDEM *aa* = *a* (Idempotence) COMM *ab* = *ba* (Commutativity) ASSOC *a*(*bc*) = (*ab*)*c* (Associativity)
