~name: x | … : y | …, an aggregation: what each row gives, then how the group's values reduce