Text this: Probability with martingales