bayes'-postulate public under postulate 1 List Picture As a command Nothing is filed under bayes'-postulate.