quantifier elimination

没有找到这个词。检查拼写，或试试原形（如 running → run）。