The first condition is not necessary. Complex abs *is* `sqrt(re(x)**2 + im(x)**2)`.