Equivalence identities