Given a collection of DNA sequences, what underlying forces are responsible for the observed patterns of variability? This book introduces and analyzes a number of probability models: the Wright-Fisher model, the coalescent, the infinite alleles model, and the infinite sites model.