AUXILIARIES

Definition of AUXILIARIES