removed auxiliaries