change variable aux to auxiliary