Little Johny Bayesian — AI Alignment Forum