No more overlapping auxiliaries