when their discriminant is non-negative