(X_n, ℱ_n) with E[X_{n+1}|ℱ_n] = X_n. Doob: sup E|X_n| < ∞ ⟹ a.s. convergence. Optional stopping theorem.