Implies[Implies[A