Automorphic definitions