Readded auxiliaries