PAC-Bayesian Theory Meets Bayesian Inference | Synapse