automorphism
same-contexts
homomorphism