having is like a predicate for aggreate functions