Em uma consulta para totalizar ICMS por município e retomar apenas municípios cujo total agregado ultrapasse um limite legal, considerando a ordem de avaliação das clâusulas SQL, a cláusula usada para filtrar resultados agregados após o agrupamento é