Cauchy's_estimate loading ...