Поиск в словарях
Method of elimination of quantifiers
метод исключения кванторов