added 'implies' method to Expr