added aut for example