Bayesian confirmation theory