Formal_sum loading ...