Definite_integral loading ...