ALEFT

Definition of ALEFT