AUXILIARS

Definition of AUXILIARS