ELIMINATORS

Definition of ELIMINATORS