formal sums