Internal auxiliaries