Bayes' rule: Functional form — AI Alignment Forum