(+) Implement AggregateMax