Definition:Implication