Changed aux to auxiliary