Added formal sum utilities.