HAGGS

Definition of HAGGS