Раздел 9.4 Классический Разум Справочного Руководства Изара пишет:
Тактику можно отследить, а их компоненты можно вызвать напрямую; таким образом, любое доказательство может быть просмотрено в интерактивном режиме.
В этом руководстве я нашел разделы об отслеживании упрощения и унификации более высокого порядка.
Как я могу отследить, например, классический рассуждатель