Understanding the ‘Aggregate’ in Aggregate Formulas