Начать проверку лемм
Начать добавление новых лемм
Начать визуальную проверку второго инструмента