Definition:Implies