Manfred comments on Gödel and Bayes: quick question