Product bayes-theorem not found<br>