x
On martingales — AI Alignment Forum