Syntax of groupby, having (todo: processing)