On martingales — LessWrong