Updated formal sum utility.