ENTAILER

Definition of ENTAILER