self-equivalence