Def/Ring automorphism 1