Probably throw here, as I don't think it's valid to have a sequence in a HAVING clause