HALES

Definition of HALES