Implies

Definition of Implies