Cauchy's_integral_formula loading ...