Darboux_sum loading ...