Formal Sum