refined isPositive