code: def Implies(p, q, simplify=True):
      
      p = Expression.box(p).node
      q = Expression.box(q).node
      y = exprnode.impl(p, q)
      if simplify:
          y = y.simplify()
      return _expr(y)
docs: Expression implication operator
  
      If *simplify* is ``True``, return a simplified expression.