Definition of IMPLICATION