φ_X(t) = E[e^{itX}]. Uniquely determines distribution; Lévy continuity thm; φ_{X+Y} = φ_X φ_Y for independent.