For finite sums (and sums with symbolic limits assumed to be finite)