Formal sum