bayes'-postulate public under postulate 1 List Picture As a command %3 n0 bayes'-postulate n1 postulate n1->n0