A PAC analysis of a Bayesian estimator | Synapse