Cauchy_product loading ...