Bayes_rule loading ...