Поиск в словарях
Closed deduction
логика замкнутый вывод