Definition:Formal Implication