Ключевое слово: witness elimination