Definition of Aut