Без заголовка

Отделы бывают не только QA ("свои"), но и надзорные. Так, при производстве атомных станций и их лицензировании нужно читать присланное и проверять расчеты. Люди говорят, что иногда "надзор" смотрит на содержание разделов и только, а иногда и вправду проверяет. И я почему-то не думаю, что тут речь идет о языке формальных спецификаций. Это не более, чем "графы в документе", ибо совершенно сознательно говорится про "убеждение других людей" (прямые аналогии с "судебным делом", материалами для состязательного процесса судебного доказательства), а не про машинные доказательства и формальную семантику.