Work with fair-game processes, filtrations, stopping times, optional stopping, and martingale convergence.
