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

Нет, мне вовсе не было очевидным это. Подход Баеса к принципиальным схемам мне много понятней вашего изложения "для чего это нужно", а про трассировку к модулям мы обсуждали с Ковалёвым (ибо Баез вообще не про инженерию, он от этой инженерии только отталкивается как от отправной точки). Опять же, я совсем не математик и тем более не теоркатегорщик: что для вас понятно и очевидно, для меня тёмный лес.