Формат документа. Текст даёт полное формальное построение (аксиомы, определения, леммы, явные матрицы, численные результаты) без единого пропущенного шага. Каждый формальный блок сопровождается разделом «Что здесь происходит», где то же самое действие описано без формул: что подаётся на вход, какое преобразование выполняется и что получается на выходе. Читатель, не работающий с формулами, может пропускать формальные блоки целиком и следить только за пояснениями, и логическая цепочка не потеряется...