AUTOinDEFINITS