Text this: Discrete-parameter martingales