IMPLIES

Definition of IMPLIES