What if `Q.positive(expr.args[0]) is None`?  Do you this we should return False?  I doubt so...