Ben à cause de la correspondance de Curry-Howard qui assure ainsi un transfert parfait des interférences bayésiennes dans le cortex catégoriel du préfaisceau topologique des ensembles récursifs.